X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/b34d96c1c3f10dcbd0b55f61f2456e46585f1b42..adc90f13abe835bb5b6cf23ec00e516877c3f5d7:/examples/extexi

diff --git a/examples/extexi b/examples/extexi
index c0f67df2..4bd48979 100644
--- a/examples/extexi
+++ b/examples/extexi
@@ -123,8 +123,11 @@ function normalize(contents,    i, lines, n, line, res) {
 
 
 function message(msg) {
-  # FNR starts at 0 instead of 1 for line numbers.
-  print "extexi: " FILENAME ":" (FNR + 1) ": " msg > "/dev/stderr";
+  if (! message_printed[msg])
+    {
+      print "extexi: " msg > "/dev/stderr";
+      message_printed[msg] = 1;
+    }
 }
 
 function fatal(msg) {