Use ${PYTHON} instead of relying on #!/usr/bin/env python
authorMatthias Kilian <kili@outback.escape.de>
Fri, 16 Apr 2010 11:46:27 +0000 (11:46 +0000)
committerMatthias Kilian <kili@outback.escape.de>
Fri, 16 Apr 2010 11:46:27 +0000 (11:46 +0000)
testsuite/timeout/Makefile

index 8c2d956..c9e9075 100644 (file)
@@ -27,7 +27,9 @@ $(TIMEOUT_PROGRAM): timeout.py
        rm -rf install-inplace
        mkdir install-inplace
        mkdir install-inplace/bin
-       cp $< $@
+       cp $< $@.py
+       echo '#!/bin/sh' > $@
+       echo exec ${PYTHON} \$$0.py \"\$$@\" >> $@
        chmod +x $@
 else
 # The python timeout program doesn't work on mingw, so we still use the