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.