diff --git a/configure b/configure index c03fc63ad..812d0460b 100755 --- a/configure +++ b/configure @@ -102,17 +102,9 @@ if ! existence msgmerge; then echo "INFO: msgmerge(1) is missing" fi -# Remove leftover configure.py file -rm -f configure.py - -# Now we will just assume sed exists, -# and replace only the executable name. -sed -e "s,[@]PYTHON[@],$PYTHON,g" < ./configure.py.in > configure.py -chmod +x configure.py - # Call configure.py, assuming all went well. # $1 is read by configure.py as the prefix. # If $1 is empty, the python script checks the # environment for PREFIX. We might need more # variables and switches, such as DESTDIR. -./configure.py $@ +$PYTHON ./configure.py $@ diff --git a/configure.py.in b/configure.py similarity index 99% rename from configure.py.in rename to configure.py index 9369410ed..1e813e0d0 100644 --- a/configure.py.in +++ b/configure.py @@ -1,5 +1,3 @@ -#!@PYTHON@ - # This file is part of TALER # (C) 2019 GNUnet e.V. #