gdb/copying.awk

   1 BEGIN   {
   2           FS="\"";
   3           print "/* Do not modify this file; it is created automatically";
   4           print "   by copying.awk.  */";
   5           print "#include \"defs.h\""
   6           print "#include \"command.h\""
   7           print "extern int immediate_quit;";
   8           print "static void";
   9           print "copying_info ()";
  10           print "{";
  11           print "  immediate_quit++;";
  12         }
  13 NR == 1,/^[     ]*NO WARRANTY[  ]*$/    {
  14           if (! ($0 ~ /^[       ]*NO WARRANTY[  ]*$/))
  15             {
  16               printf "  printf_filtered (\"";
  17               for (i = 1; i < NF; i++)
  18                 printf "%s\\\"", $i;
  19               printf "%s\\n\");\n", $NF;
  20             }
  21         }
  22 /^[      ]*NO WARRANTY[         ]*$/    {
  23           print "  immediate_quit--;";
  24           print "}";
  25           print "";
  26           print "static void";
  27           print "warranty_info ()";
  28           print "{";
  29           print "  immediate_quit++;";
  30         }
  31 /^[     ]*NO WARRANTY[  ]*$/, /^[       ]*END OF TERMS AND CONDITIONS[  ]*$/{
  32           if (! ($0 ~ /^[       ]*END OF TERMS AND CONDITIONS[  ]*$/))
  33             {
  34               printf "  printf_filtered (\"";
  35               for (i = 1; i < NF; i++)
  36                 printf "%s\\\"", $i;
  37               printf "%s\\n\");\n", $NF;
  38             }
  39         }
  40 END     {
  41           print "  immediate_quit--;";
  42           print "}";
  43           print "";
  44           print "void"
  45           print "_initialize_copying ()";
  46           print "{";
  47           print "  add_info (\"copying\", copying_info,";
  48           print "           \"Conditions for redistributing copies of GDB.\");";
  49           print "  add_info (\"warranty\", warranty_info,";
  50           print "         \"Various kinds of warranty you do not have.\");";
  51           print "}";
  52         }
  53
  54
  55