diff options
Diffstat (limited to 'generateexportedsymbols.awk')
| -rw-r--r-- | generateexportedsymbols.awk | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generateexportedsymbols.awk b/generateexportedsymbols.awk new file mode 100644 index 0000000000..1d9b200d23 --- /dev/null +++ b/generateexportedsymbols.awk @@ -0,0 +1,11 @@ +{ + # Remove the CR character in case the sources are mapped from + # a Windows share and contain CRLF line endings + gsub(/\r/,"", $0); + + # Skip empty lines and comment lines starting with semicolon + if (NF && !match($0, /^[:space:]*;/)) + { + print "_" $0; + } +} |