diff options
author | Stan Shebs <shebs@codesourcery.com> | 1999-04-16 01:34:07 +0000 |
---|---|---|
committer | Stan Shebs <shebs@codesourcery.com> | 1999-04-16 01:34:07 +0000 |
commit | 071ea11e85eb9d529cc5eb3d35f6247466a21b99 (patch) | |
tree | 5deda65b8d7b04d1f4cbc534c3206d328e1267ec /gdb/copying.awk | |
parent | 1730ec6b1848f0f32154277f788fb29f88d8475b (diff) | |
download | gdb-071ea11e85eb9d529cc5eb3d35f6247466a21b99.zip gdb-071ea11e85eb9d529cc5eb3d35f6247466a21b99.tar.gz gdb-071ea11e85eb9d529cc5eb3d35f6247466a21b99.tar.bz2 |
Initial creation of sourceware repository
Diffstat (limited to 'gdb/copying.awk')
-rw-r--r-- | gdb/copying.awk | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/gdb/copying.awk b/gdb/copying.awk deleted file mode 100644 index 378d620..0000000 --- a/gdb/copying.awk +++ /dev/null @@ -1,55 +0,0 @@ -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 "}"; - } - - - |