makeh:: linenumbers for EX

2024-12-24 01:00:25 +00:00 · 2019-08-25 19:14:17 +02:00 · 2019-08-25 19:14:17 +02:00 · c5acaacc8d
commit c5acaacc8d
parent 02269267c9
1 changed files with 1 additions and 0 deletions
--- a/makeh.cpp
+++ b/makeh.cpp
@ -84,6 +84,7 @@ void gen(string sf) {
        }
      else {
        mark_file();
+        cout << "#line " << lineid << " \"" << sf << "\"\n";
        for(int i=0;; i++) {
          if(i == int(t.size())) { cerr << "Error: unrecognizable EX: " << s << "\n"; }
          else if(t[i] == '{') {