2 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index f4c26d8c..6ee07d65 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2012-04-07  Kaz Kylheku  <kaz@kylheku.com>
 
+	* configure: Print done and terminate line after checking for
+	clashing symbols.
+
+2012-04-07  Kaz Kylheku  <kaz@kylheku.com>
+
 	* configure: Added new check for some clashing external names,
 	which we can redefine out of the way in config.h.
 
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.
 #