commit b2c9672f2e493db810865b7de1e568a466b59360
parent 855be4756a395739960aa5df932e10d7047afc37
Author: Florian Dold <florian.dold@gmail.com>
Date: Mon, 14 Oct 2019 22:36:53 +0530
exec
Diffstat:
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/configure b/configure
@@ -72,7 +72,6 @@ fi
# or fail anyway once configure.py is invoked because we
# don't have python if we reach the point to fail.
PYTHON=$($python -c 'import sys; print(sys.executable)')
-#echo $PYTHON
# Call configure.py, assuming all went well.
@@ -80,4 +79,4 @@ PYTHON=$($python -c 'import sys; print(sys.executable)')
# If $1 is empty, the python script checks the
# environment for PREFIX. We might need more
# variables and switches, such as DESTDIR.
-$PYTHON ./configure.py $@
+exec "$PYTHON" ./configure.py $@