]> git.saurik.com Git - bison.git/blobdiff - examples/extexi
* data/glr.c (yyrecoverSyntaxError, yyreturn):
[bison.git] / examples / extexi
index c0f67df2d3ff81ab7437f08dda5ab20639854c78..4bd489795f4170ca871b10788e91102c73858cf6 100644 (file)
@@ -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) {