+ /* Test if all silly progress_indication ("\n") can be dropped now. */
+ if (s == "\n")
+ return;
+
+ fputs (s.c_str (), stderr);
+ fflush (stderr);
+ if (s.length ())
+ progress_newline = s[s.length () - 1] == '\n';
+}
+
+/* Display a single user message. Always starts on a new line. */
+void
+message (string s)
+{
+ if (!progress_newline)
+ fputc ('\n', stderr);
+ progress_indication (s);