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 | ae4fbbab2a2a619fe08fc551abbb83bf5cd53323 (patch) | |
tree | deb55b4fc3526dfae2ab061ce2aa6514d348cb20 | |
parent | 5d934b44b56fbf99c1c15bb72415d9fe81efc981 (diff) | |
download | txr-ae4fbbab2a2a619fe08fc551abbb83bf5cd53323.tar.gz txr-ae4fbbab2a2a619fe08fc551abbb83bf5cd53323.tar.bz2 txr-ae4fbbab2a2a619fe08fc551abbb83bf5cd53323.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 |