generateredefinesfile.awk

   1 # "jump" is the jump instruction for the platform
   2 # "prefix1" is the prefix of what is being mapped from
   3 # "prefix2" is the prefix of what is being mapped to
   4 {
   5     # Remove the CR character in case the sources are mapped from
   6     # a Windows share and contain CRLF line endings
   7     gsub(/\r/,"", $0);
   8
   9     # Skip empty lines and comment lines starting with semicolon
  10     if (NF && !match($0, /^[:space:]*;/))
  11     {
  12         # Only process the entries that begin with "#"
  13         if (match($0, /^#.*/))
  14         {
  15             gsub(/^#/,"", $0);
  16             print "LEAF_ENTRY " prefix1 $0 ", _TEXT"
  17             print "    " jump " EXTERNAL_C_FUNC(" prefix2 $0 ")"
  18             print "LEAF_END " prefix1 $0 ", _TEXT"
  19             print ""
  20         }
  21     }
  22 }