diff options
Diffstat (limited to 'src/build/addcolon.awk')
-rw-r--r-- | src/build/addcolon.awk | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/build/addcolon.awk b/src/build/addcolon.awk deleted file mode 100644 index be25fde6f1..0000000000 --- a/src/build/addcolon.awk +++ /dev/null @@ -1,13 +0,0 @@ -#!/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 - } -} |