aboutsummaryrefslogtreecommitdiff
path: root/gdb/copying.awk
diff options
context:
space:
mode:
authorgdb-3.3 <gdb@fsf.org>1989-09-30 00:00:00 +0000
committerPedro Alves <palves@redhat.com>2012-06-03 15:36:32 +0100
commit4187119d59afd156703cfcbc6be287c5085f1867 (patch)
tree8ea0d77175611df1eeec928858f629d410dd6e05 /gdb/copying.awk
parente91b87a36830d061ef87d67be5f309e4d4ed918f (diff)
downloadgdb-4187119d59afd156703cfcbc6be287c5085f1867.zip
gdb-4187119d59afd156703cfcbc6be287c5085f1867.tar.gz
gdb-4187119d59afd156703cfcbc6be287c5085f1867.tar.bz2
gdb-3.3
Diffstat (limited to 'gdb/copying.awk')
-rw-r--r--gdb/copying.awk53
1 files changed, 53 insertions, 0 deletions
diff --git a/gdb/copying.awk b/gdb/copying.awk
new file mode 100644
index 0000000..a936318
--- /dev/null
+++ b/gdb/copying.awk
@@ -0,0 +1,53 @@
+BEGIN {
+ FS="\"";
+ print "/* Do not modify this file; it is created automatically";
+ print " by copying.awk. */";
+ 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 "}";
+ }
+
+
+