diff options
author | ng0 <ng0@n0.is> | 2019-10-01 13:09:13 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-10-01 13:09:13 +0000 |
commit | c1cc3cc63b604086b0b5d917e28dbaae684851b4 (patch) | |
tree | eb8b07f8b8e84d9cff81254e4b23cbbd8a6ebff8 /configure | |
parent | e914afb412e8112ebf260a1000fde8ab1d91517a (diff) |
apply feedback by florian
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 10 |
1 files changed, 1 insertions, 9 deletions
@@ -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 $@ |