From 1ed24cab9bc6933d83e18056d08fb68aaa3263bc Mon Sep 17 00:00:00 2001 From: dtrg Date: Tue, 18 Jul 2006 17:20:05 +0000 Subject: [PATCH] No longer generates zero bytes in the script's output file. --- util/opt/pop_push.awk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/util/opt/pop_push.awk b/util/opt/pop_push.awk index 1dfb33d19..e5312de20 100644 --- 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 "};" -- 2.34.1