diff options
Diffstat (limited to 'testsuite/timeout/Makefile')
-rw-r--r-- | testsuite/timeout/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/timeout/Makefile b/testsuite/timeout/Makefile index 8c2d956b9a..c9e9075402 100644 --- a/testsuite/timeout/Makefile +++ b/testsuite/timeout/Makefile @@ -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 |