diff options
Diffstat (limited to 'trainfuck')
-rwxr-xr-x | trainfuck | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/trainfuck b/trainfuck index 22d1009..dec743b 100755 --- a/trainfuck +++ b/trainfuck | |||
@@ -10,6 +10,21 @@ | |||
10 | 10 | ||
11 | ### Code: | 11 | ### Code: |
12 | 12 | ||
13 | TRAINFUCK=trainfuck.awk | 13 | TRAINFUCK="$(dirname "$0")/trainfuck.awk" |
14 | 14 | ||
15 | gawk -v EXE_NAME="$(basename $0)" -f "$TRAINFUCK" -- "$@" | 15 | case "$(realpath "$(command -v awk)")" in |
16 | *gawk) | ||
17 | AWK=gawk | ||
18 | EXTRA_AWK_ARGS="--characters-as-bytes" # --posix overrides | ||
19 | ;; | ||
20 | *mawk) | ||
21 | AWK=mawk | ||
22 | EXTRA_AWK_ARGS="-Wposix" | ||
23 | ;; | ||
24 | *) | ||
25 | AWK=awk | ||
26 | EXTRA_AWK_ARGS= | ||
27 | ;; | ||
28 | esac | ||
29 | |||
30 | "$AWK" -v EXE_NAME="$(basename $0)" -f "$TRAINFUCK" $EXTRA_AWK_ARGS -- "$@" | ||