diff options
| author | K. Richard Pixley <rich@cygnus> | 1991-03-28 16:26:26 +0000 |
|---|---|---|
| committer | K. Richard Pixley <rich@cygnus> | 1991-03-28 16:26:26 +0000 |
| commit | bd5635a1e2b38ee8432fcdaa6456079191375277 (patch) | |
| tree | ffc4c35618c4b6af001f38247ed0d1c05c7a35ad /gdb/copying.awk | |
| parent | 5a131cc7f0469e0375872605593e4a9c5d1eaefb (diff) | |
| download | gdb-bd5635a1e2b38ee8432fcdaa6456079191375277.zip gdb-bd5635a1e2b38ee8432fcdaa6456079191375277.tar.gz gdb-bd5635a1e2b38ee8432fcdaa6456079191375277.tar.bz2 | |
Initial revision
Diffstat (limited to 'gdb/copying.awk')
| -rw-r--r-- | gdb/copying.awk | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/gdb/copying.awk b/gdb/copying.awk new file mode 100644 index 0000000..378d620 --- /dev/null +++ b/gdb/copying.awk @@ -0,0 +1,55 @@ +BEGIN { + FS="\""; + print "/* Do not modify this file; it is created automatically"; + print " by copying.awk. */"; + print "#include \"defs.h\"" + print "#include \"command.h\"" + print "extern int immediate_quit;"; + print "static void"; + print "copying_info ()"; + print "{"; + print " immediate_quit++;"; + } +NR == 1,/^[ ]*NO WARRANTY[ ]*$/ { + 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 "warranty_info ()"; + 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_info (\"copying\", copying_info,"; + print " \"Conditions for redistributing copies of GDB.\");"; + print " add_info (\"warranty\", warranty_info,"; + print " \"Various kinds of warranty you do not have.\");"; + print "}"; + } + + + |