Reflect autoconf invocation in Setup.sh's output.

diff --git a/src/Setup.sh b/src/Setup.sh
index eee163e4c845d05c3849ec6967b97da3547c877d..7ebb7b08cac8693dabfe09678d65c089a6298f20 100755 (executable)
--- a/src/Setup.sh
+++ b/src/Setup.sh
@@ -68,7 +68,7 @@ fi
 
 if [ ! -x configure ]; then
     configure=clean
-    echo "autoconf"
+    echo "autoconf --include=microcode"
     autoconf --include=microcode
     configure=done
 fi