diff options
-rwxr-xr-x | cppawk | 4 | ||||
-rw-r--r-- | testcases | 9 |
2 files changed, 13 insertions, 0 deletions
@@ -94,6 +94,10 @@ while [ $# -gt 0 ] ; do -- ) break ;; + -M | --bignum ) + awk_opts="$awk_opts $1" + prepro_opts="$prepro_opts -D__bignum__=1" + ;; -* ) awk_opts="$awk_opts $(shell_escape "$1")" ;; @@ -93,3 +93,12 @@ BEGIN { }' : gawk +-- +17: +./cppawk -M 'BEGIN { print __bignum__ }' +: +1 +-- +18: +./cppawk 'BEGIN { print __bignum__ }' +: |