aboutsummaryrefslogtreecommitdiff
path: root/gdb/copying.awk
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1991-03-28 16:26:26 +0000
committerK. Richard Pixley <rich@cygnus>1991-03-28 16:26:26 +0000
commitbd5635a1e2b38ee8432fcdaa6456079191375277 (patch)
treeffc4c35618c4b6af001f38247ed0d1c05c7a35ad /gdb/copying.awk
parent5a131cc7f0469e0375872605593e4a9c5d1eaefb (diff)
downloadgdb-bd5635a1e2b38ee8432fcdaa6456079191375277.zip
gdb-bd5635a1e2b38ee8432fcdaa6456079191375277.tar.gz
gdb-bd5635a1e2b38ee8432fcdaa6456079191375277.tar.bz2
Initial revision
Diffstat (limited to 'gdb/copying.awk')
-rw-r--r--gdb/copying.awk55
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 "}";
+ }
+
+
+