diff options
Diffstat (limited to 'generateexportedsymbols.awk')
| -rw-r--r-- | generateexportedsymbols.awk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generateexportedsymbols.awk b/generateexportedsymbols.awk new file mode 100644 index 0000000000..19312c381e --- /dev/null +++ b/generateexportedsymbols.awk @@ -0,0 +1,6 @@ +{ + # Remove the CR character in case the sources are mapped from + # a Windows share and contain CRLF line endings + gsub(/\r/,"", $0); + print "_" $0; +} |