tests/run-tests
changeset 1878 a5c46cff620f
parent 1558 651690fe6be3
child 1932 82995896d5af
--- a/tests/run-tests	Fri Mar 10 08:31:31 2006 -0800
+++ b/tests/run-tests	Fri Mar 10 19:16:49 2006 +0100
@@ -53,7 +53,16 @@
 fi
 cd "$TESTDIR"
 
-PATH="$INST/bin:$PATH"; export PATH
+BINDIR="$INST/bin"
+PATH="$BINDIR:$PATH"; export PATH
+if [ -n "$PYTHON" ]; then
+    {
+        echo "#!/bin/sh"
+        echo "exec \"$PYTHON"'" "$@"'
+    } > "$BINDIR/python"
+    chmod 755 "$BINDIR/python"
+fi
+
 PYTHONPATH="$PYTHONDIR"; export PYTHONPATH
 
 run_one() {