Previous: Extension Versioning, Up: Extension API Variables


16.4.11.2 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_lint
This variable is true if gawk was invoked with --lint option (see Options).
do_traditional
This variable is true if gawk was invoked with --traditional 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_debug
This variable is true if gawk was invoked with --debug option.
do_mpfr
This variable is true if gawk was invoked with --bignum option.

The value of do_lint can change if awk code modifies the LINT built-in variable (see Built-in Variables). The others should not change during execution.