From c1cc3cc63b604086b0b5d917e28dbaae684851b4 Mon Sep 17 00:00:00 2001 From: ng0 Date: Tue, 1 Oct 2019 13:09:13 +0000 Subject: apply feedback by florian --- configure | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'configure') 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 $@ -- cgit v1.2.3