diff options
| -rwxr-xr-x[-rw-r--r--] | csmap.awk (renamed from preproc.awk) | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/preproc.awk b/csmap.awk index c9bcb07..2eae4c3 100644..100755 --- a/preproc.awk +++ b/csmap.awk @@ -1,3 +1,5 @@ +#! /usr/bin/env -S awk -f 'csmap.awk' + BEGIN { stage1 = 1 depth = 0 |