Prefix error messages by script name.

It helps when debugging compilation output to know who is speaking even if
Ninja buffers command output contrary to make.

diff --git a/gen_doxygen_mainpage.sh b/gen_doxygen_mainpage.sh
index 3b44429..d159947 100755 (executable)
--- a/gen_doxygen_mainpage.sh
+++ b/gen_doxygen_mainpage.sh
@@ -20,13 +20,25 @@ set -o nounset
 STATUS=0
 
 # Print each of its arguments on stderr (one per line) prefixed by the
+# basename of this script.
+stderr()
+{
+  local me=$(basename "$0")
+  local i
+  for i
+  do
+    echo >&2 "$me: $i"
+  done
+}
+
+# Print each of its arguments on stderr (one per line) prefixed by the
 # basename of this script and 'error'.
 error()
 {
   local i
   for i
   do
-    echo >&2 "error: $i"
+    stderr "error: $i"
   done
   STATUS=1
 }