From e07d79ad508c23b9290b3d6379a140d232ddfe35 Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Fri, 24 Jul 2020 17:31:54 -0700 Subject: [PATCH] Handle the first run of configure; prefer gmake. --- packaging/smart-make | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/packaging/smart-make b/packaging/smart-make index dcf10286..6b7aa9bf 100755 --- a/packaging/smart-make +++ b/packaging/smart-make @@ -2,7 +2,7 @@ set -e -make=`which make 2>/dev/null` || make=`which gmake 2>/dev/null` +make=`which gmake 2>/dev/null` || make=`which make 2>/dev/null` branch=`packaging/prep-auto-dir` if test x"$branch" = x; then @@ -29,7 +29,11 @@ if diff configure.sh configure.sh.old >/dev/null 2>&1; then rm configure.sh.old else echo "configure.sh has CHANGED." - ./config.status --recheck + if test -f config.status; then + ./config.status --recheck + else + $srcdir/configure + fi fi ./config.status -- 2.47.2