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         print "_"  $0;
   6 }