apply feedback by florian

This commit is contained in:
ng0 2019-10-01 13:09:13 +00:00
parent e914afb412
commit c1cc3cc63b
No known key found for this signature in database
GPG Key ID: E22F9BBFEE348588
2 changed files with 1 additions and 11 deletions

10
configure vendored
View File

@ -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 $@

View File

@ -1,5 +1,3 @@
#!@PYTHON@
# This file is part of TALER
# (C) 2019 GNUnet e.V.
#