Skip to content
Snippets Groups Projects
Commit c3b2f664 authored by kili's avatar kili
Browse files

Use ${PYTHON} instead of relying on #!/usr/bin/env python

parent 729c9963
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment