1 files changed, 19 insertions, 0 deletions
diff --git a/generateversionscript.awk b/generateversionscript.awk
new file mode 100644
index 0000000000..226c6a545f
--- /dev/null
+++ b/generateversionscript.awk
@@ -0,0 +1,19 @@
+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);
+	
+	# Skip empty lines and comment lines starting with semicolon
+	if (NF && !match($0, /^[ \t]*;/))
+	{
+		print "        "  $0 ";";
+	}
+} 
+END {
+	print "    local: *;"
+	print "};";
+}