From: Taylor R Campbell <campbell@mumble.net>
Date: Mon, 7 Jan 2019 05:07:56 +0000 (+0000)
Subject: Regenerate configure if out of date, not just if nonexistent.
X-Git-Tag: mit-scheme-pucked-10.1.9~3^2~5
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=4ef42e6367b231375777b8584fbf816aa729495f;p=mit-scheme.git

Regenerate configure if out of date, not just if nonexistent.
---

diff --git a/src/Setup.sh b/src/Setup.sh
index 8dd244f96..204ce6af4 100755
--- a/src/Setup.sh
+++ b/src/Setup.sh
@@ -67,7 +67,9 @@ EOF
     exit 1
 fi
 
-if [ ! -x configure ]; then
+if [ ! -x configure \
+	-o configure.ac -nt configure \
+	-o microcode/aclocal.m4 -nt configure ]; then
     configure=clean
     echo "autoconf --include=microcode"
     autoconf --include=microcode