3 print "/* Do not modify this file; it is created automatically";
4 print " by copying.awk. */";
5 print "extern int immediate_quit;";
7 print "copying_info ()";
9 print " immediate_quit++;";
11 NR == 1,/^[ ]*NO WARRANTY[ ]*$/ {
12 if (! ($0 ~ /^[ ]*NO WARRANTY[ ]*$/))
14 printf " printf_filtered (\"";
15 for (i = 1; i < NF; i++)
17 printf "%s\\n\");\n", $NF;
20 /^[ ]*NO WARRANTY[ ]*$/ {
21 print " immediate_quit--;";
25 print "warranty_info ()";
27 print " immediate_quit++;";
29 /^[ ]*NO WARRANTY[ ]*$/, /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/{
30 if (! ($0 ~ /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/))
32 printf " printf_filtered (\"";
33 for (i = 1; i < NF; i++)
35 printf "%s\\n\");\n", $NF;
39 print " immediate_quit--;";
43 print "_initialize_copying ()";
45 print " add_info (\"copying\", copying_info,";
46 print " \"Conditions for redistributing copies of GDB.\");";
47 print " add_info (\"warranty\", warranty_info,";
48 print " \"Various kinds of warranty you do not have.\");";