No longer generates zero bytes in the script's output file.

diff --git a/util/opt/pop_push.awk b/util/opt/pop_push.awk
index 1dfb33d..e5312de 100644 (file)
--- a/util/opt/pop_push.awk
+++ b/util/opt/pop_push.awk
@@ -15,14 +15,14 @@ BEGIN       { print "#include \"pop_push.h\""
 END    { print "};"
          print
          print "char flow_tab[]= {"
-         print "'\000',"
+         print "'\\000',"
          for(i=0; i < NR-switch; i++) {
                inf = col_2[i]
                f_out = "/* " comment[i] " */ "
                if (substr(inf,1,1)=="b") f_out = f_out "HASLABEL|"
                if (substr(inf,2,1)=="c") f_out = f_out "CONDBRA"
                else if (substr(inf,2,1)=="t") f_out = f_out "JUMP"
-               else f_out = f_out "'\000'"
+               else f_out = f_out "'\\000'"
                print f_out","
          }
          print "};"