diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2019-12-19 01:00:38 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2019-12-19 01:00:38 -0800 |
commit | 61925457d5baa891908acd0073d2c58c663124a5 (patch) | |
tree | deb55b4fc3526dfae2ab061ce2aa6514d348cb20 | |
parent | 54935c8e27eb8144411b15f3a910eed1cfb115c8 (diff) | |
download | txr-61925457d5baa891908acd0073d2c58c663124a5.tar.gz txr-61925457d5baa891908acd0073d2c58c663124a5.tar.bz2 txr-61925457d5baa891908acd0073d2c58c663124a5.zip |
configure: better check for missing make.
* configure: don't fail with a "unbound variable $3" error
if make is not found; correctly print "missing" and
quit cleanly.
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -499,14 +499,14 @@ if [ -z "$make" ] ; then output=$($make --version 2> /dev/null) || true set -- $output - if [ $# -lt 2 ] || [ $1 != "GNU" -o $2 != "Make" ] ; then + if [ $# -lt 3 ] || [ $1 != "GNU" -o $2 != "Make" ] ; then continue fi break done fi -if [ -z "$make" ] ; then +if [ $# -lt 3 ] ; then printf "missing\n" exit 1 fi |