From 1ed24cab9bc6933d83e18056d08fb68aaa3263bc Mon Sep 17 00:00:00 2001
From: dtrg <none@none>
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 "};"