diff options
Diffstat (limited to 'tests/test-linedir-r/check-lines.awk')
| -rw-r--r-- | tests/test-linedir-r/check-lines.awk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tests/test-linedir-r/check-lines.awk b/tests/test-linedir-r/check-lines.awk deleted file mode 100644 index 6a1e5ec..0000000 --- a/tests/test-linedir-r/check-lines.awk +++ /dev/null @@ -1,7 +0,0 @@ -{ - if( /#line/ && $1 != ($3 - 1)) { - printf "Line directive mismatch at line %d: %s\n", NR, $0; - exit 1; - } -} - |