From c3b2f6640edd183e2f6d89c5a4e2044345a7b4ca Mon Sep 17 00:00:00 2001
From: Matthias Kilian <kili@outback.escape.de>
Date: Fri, 16 Apr 2010 11:46:27 +0000
Subject: Use ${PYTHON} instead of relying on #!/usr/bin/env python

---
 testsuite/timeout/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'testsuite/timeout')

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
-- 
cgit v1.2.1