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

diff --git a/src/Setup.sh b/src/Setup.sh
index 8dd244f9624013ade55953de50690926c683a714..204ce6af4209b7d035b510da9c6e46a301682442 100755 (executable)
--- 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