Initial revision

1984-11-26 15:15:07 +00:00
parent 6d481ce4d6
commit c4b4a08720
10 changed files with 695 additions and 0 deletions
--- a/util/ego/share/pop_push.awk
+++ b/util/ego/share/pop_push.awk
@@ -0,0 +1,15 @@
+BEGIN {
+	print "char *pop_push[]="
+	print "{"
+	print "\"\","
+	switch = 0
+}
+/aar/	{
+	switch = 1
+}
+	{
+	if (switch) printf("\"%s\",\n",$3)
+}
+END {
+	print "};"
+}