NetBSD/gnu/dist/gdb/copying.awk

78 lines
2.3 KiB
Awk
Raw Normal View History

1997-09-24 20:57:14 +04:00
BEGIN {
FS="\"";
print "/* ==> Do not modify this file!! It is created automatically";
print " by copying.awk. Modify copying.awk instead. <== */";
print ""
print "#include \"defs.h\""
print "#include \"command.h\""
print "#include \"gdbcmd.h\""
print ""
print "static void"
print "show_copying_command PARAMS ((char *, int));"
print ""
print "static void"
print "show_warranty_command PARAMS ((char *, int));"
print ""
print "extern int immediate_quit;";
print "static void";
print "show_copying_command (ignore, from_tty)";
print " char *ignore;";
print " int from_tty;";
print "{";
print " immediate_quit++;";
}
NR == 1,/^[ ]*NO WARRANTY[ ]*$/ {
if ($0 ~ / /)
{
printf " printf_filtered (\"\\n\");\n";
}
else 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 "show_warranty_command (ignore, from_tty)";
print " char *ignore;";
print " int from_tty;";
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_cmd (\"copying\", no_class, show_copying_command,";
print " \"Conditions for redistributing copies of GDB.\",";
print " &showlist);";
print " add_cmd (\"warranty\", no_class, show_warranty_command,";
print " \"Various kinds of warranty you do not have.\",";
print " &showlist);";
print "";
print " /* For old-timers, allow \"info copying\", etc. */";
print " add_info (\"copying\", show_copying_command,";
print " \"Conditions for redistributing copies of GDB.\");";
print " add_info (\"warranty\", show_warranty_command,";
print " \"Various kinds of warranty you do not have.\");";
print "}";
}