generateexportedsymbols.awk

   1 {
   2         # Remove the CR character in case the sources are mapped from
   3         # a Windows share and contain CRLF line endings
   4         gsub(/\r/,"", $0);
   5
   6         # Skip empty lines and comment lines starting with semicolon
   7         if (NF && !match($0, /^[:space:]*;/))
   8         {
   9                 print "_"  $0;
  10         }
  11 }