added awk script

1 files changed, 13 insertions, 0 deletions

diff --git a/src/build/addcolon.awk b/src/build/addcolon.awk
new file mode 100644
index 0000000000..be25fde6f1
--- /dev/null
+++ b/src/build/addcolon.awk
@@ -0,0 +1,13 @@
+#!/bin/awk -f
+#
+# buraq: this awk script was used to add a colon to .neg files in test suite.
+#        though it might be useful to have it somewhere for non-awk users as a reference.
+#
+{ i = match ($0, /scala:[0-9]+/); 
+   if(i == 0) {
+	 print $0
+   } else {
+	   sub(/scala:[0-9]+/, "&:")
+		   print $0
+   }
+}