17.4.13.3 Informational Variables

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
This variable is true if gawk was invoked with --debug option.
do_lint
This variable is true if gawk was invoked with --lint option.
do_mpfr
This variable is true if gawk was invoked with --bignum option.
do_profile
This variable is true if gawk was invoked with --profile option.
do_sandbox
This variable is true if gawk was invoked with --sandbox option.
do_traditional
This variable is true if 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.