diff options
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/autogen.sh b/autogen.sh index 2297bdc8c49..0153f896a17 100755 --- a/autogen.sh +++ b/autogen.sh @@ -72,11 +72,15 @@ minor_version () check_version () { ## Respect, e.g., $AUTOCONF if it is set, like autoreconf does. - uprog=`echo $1 | sed -e 's/-/_/g' -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'` + uprog0=`echo $1 | sed -e 's/-/_/g' -e 'y/abcdefghijklmnopqrstuvwxyz/ABCDEFGHIJKLMNOPQRSTUVWXYZ/'` - eval uprog=\$${uprog} + eval uprog=\$${uprog0} - [ x"$uprog" = x ] && uprog=$1 + if [ x"$uprog" = x ]; then + uprog=$1 + else + printf '%s' "(using $uprog0=$uprog) " + fi have_version=`get_version $uprog` |