darling-gdb/gdb/copying.awk

56 lines
1.4 KiB
Awk
Raw Normal View History

1991-03-28 16:26:26 +00:00
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 "}";
}