From 4ef42e6367b231375777b8584fbf816aa729495f Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Mon, 7 Jan 2019 05:07:56 +0000
Subject: [PATCH] Regenerate configure if out of date, not just if nonexistent.

---
 src/Setup.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.25.1