Previous: Extension GMP/MPFR Versioning, Up: Extension API Variables [Contents][Index]
The API provides access to several variables that describe
whether the corresponding command-line options were enabled when
gawk
was invoked. The variables are:
do_debug
gawk
was invoked with --debug
option.do_lint
gawk
was invoked with --lint
option.do_mpfr
gawk
was invoked with --bignum
option.do_profile
gawk
was invoked with --profile
option.do_sandbox
gawk
was invoked with --sandbox
option.do_traditional
gawk
was invoked with --traditional
option.The value of do_lint
can change if awk
code
modifies the LINT
predefined variable (see section Predefined Variables).
The others should not change during execution.