diff options
Diffstat (limited to 'src/build/addcolon.awk')
| -rw-r--r-- | src/build/addcolon.awk | 13 |
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 + } +} |