1 files changed, 2 insertions, 0 deletions

diff --git a/configure b/configure
index f52f3470..ebd02aec 100755
--- a/configure
+++ b/configure
@@ -1085,6 +1085,8 @@ int main(void) { return 0; }
   fi
 done
 
+printf "done\n"
+
 #
 # Extra debugging.
 #