diff options
Diffstat (limited to 'gdb/copying.awk')
| -rw-r--r-- | gdb/copying.awk | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/gdb/copying.awk b/gdb/copying.awk new file mode 100644 index 0000000..4f53e92 --- /dev/null +++ b/gdb/copying.awk @@ -0,0 +1,77 @@ +BEGIN { + FS="\""; + print "/* ==> Do not modify this file!! It is created automatically"; + print " by copying.awk. Modify copying.awk instead. <== */"; + print "" + print "#include \"defs.h\"" + print "#include \"command.h\"" + print "#include \"gdbcmd.h\"" + print "" + print "static void show_copying_command PARAMS ((char *, int));" + print "" + print "static void show_warranty_command PARAMS ((char *, int));" + print "" + print "void _initialize_copying PARAMS ((void));" + print "" + print "extern int immediate_quit;"; + print "static void"; + print "show_copying_command (ignore, from_tty)"; + print " char *ignore;"; + print " int from_tty;"; + print "{"; + print " immediate_quit++;"; + } +NR == 1,/^[ ]*NO WARRANTY[ ]*$/ { + if ($0 ~ / /) + { + printf " printf_filtered (\"\\n\");\n"; + } + else if ($0 !~ /^[ ]*NO WARRANTY[ ]*$/) + { + printf " printf_filtered (\""; + for (i = 1; i < NF; i++) + printf "%s\\\"", $i; + printf "%s\\n\");\n", $NF; + } + } +/^[ ]*NO WARRANTY[ ]*$/ { + print " immediate_quit--;"; + print "}"; + print ""; + print "static void"; + print "show_warranty_command (ignore, from_tty)"; + print " char *ignore;"; + print " int from_tty;"; + print "{"; + print " immediate_quit++;"; + } +/^[ ]*NO WARRANTY[ ]*$/, /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/{ + if (! ($0 ~ /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/)) + { + printf " printf_filtered (\""; + for (i = 1; i < NF; i++) + printf "%s\\\"", $i; + printf "%s\\n\");\n", $NF; + } + } +END { + print " immediate_quit--;"; + print "}"; + print ""; + print "void" + print "_initialize_copying ()"; + print "{"; + print " add_cmd (\"copying\", no_class, show_copying_command,"; + print " \"Conditions for redistributing copies of GDB.\","; + print " &showlist);"; + print " add_cmd (\"warranty\", no_class, show_warranty_command,"; + print " \"Various kinds of warranty you do not have.\","; + print " &showlist);"; + print ""; + print " /* For old-timers, allow \"info copying\", etc. */"; + print " add_info (\"copying\", show_copying_command,"; + print " \"Conditions for redistributing copies of GDB.\");"; + print " add_info (\"warranty\", show_warranty_command,"; + print " \"Various kinds of warranty you do not have.\");"; + print "}"; + } |