Previous: , Up: Extension API Variables   [Contents][Index]


16.4.12.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.