diff --git a/make/py-run.mk b/make/py-run.mk index 47527ffb..ce30667c 100644 --- a/make/py-run.mk +++ b/make/py-run.mk @@ -13,3 +13,11 @@ distclean: run: $(PYTHON) $(EXE) $(EXE_ARGS) + +run.sh: + echo -e "#!/bin/bash\n\nexport PYTHONPATH=$(PYTHONPATH)\nset -x\nexec $(PYTHON) $(EXE)" '"$$*"' > $@.tmp + chmod 755 $@.tmp + mv $@.tmp $@ +clean-run-sh: + rm -f run.sh +clean: clean-run-sh