diff options
| author | Matthias Kilian <kili@outback.escape.de> | 2010-04-16 11:46:27 +0000 |
|---|---|---|
| committer | Matthias Kilian <kili@outback.escape.de> | 2010-04-16 11:46:27 +0000 |
| commit | c3b2f6640edd183e2f6d89c5a4e2044345a7b4ca (patch) | |
| tree | f21d5d2712655bc144482177e541547ff7607af9 /testsuite/timeout | |
| parent | 729c99633befaf08e7a2ce1c64e6a9b0b517f4fc (diff) | |
| download | haskell-c3b2f6640edd183e2f6d89c5a4e2044345a7b4ca.tar.gz | |
Use ${PYTHON} instead of relying on #!/usr/bin/env python
Diffstat (limited to 'testsuite/timeout')
| -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 |