$(PYTHON) | $(PYTHON_TOOLCHAIN) $(SAGERUNTIME)

----------
All lines of this file are ignored except the first.
