1 files changed, 14 insertions, 0 deletions
diff --git a/generateversionscript.awk b/generateversionscript.awk
new file mode 100644
index 0000000000..2aa1f4f0a2
--- /dev/null
+++ b/generateversionscript.awk
@@ -0,0 +1,14 @@
+BEGIN {
+	print "V1.0 {";
+	print "    global:";
+} 
+{ 
+	# Remove the CR character in case the sources are mapped from
+	# a Windows share and contain CRLF line endings
+	gsub(/\r/,"", $0);
+	print "        "  $0 ";";
+} 
+END {
+	print "    local: *;"
+	print "};";
+}