diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-10-14 22:36:53 +0530 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-10-14 22:36:53 +0530 |
commit | b2c9672f2e493db810865b7de1e568a466b59360 (patch) | |
tree | ead547e1bdeaebce0517bff3463e8c47de59862b | |
parent | 855be4756a395739960aa5df932e10d7047afc37 (diff) | |
download | build-common-b2c9672f2e493db810865b7de1e568a466b59360.tar.gz build-common-b2c9672f2e493db810865b7de1e568a466b59360.tar.bz2 build-common-b2c9672f2e493db810865b7de1e568a466b59360.zip |
exec
-rwxr-xr-x | configure | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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 $@ |