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