Gawk/Extension-API-Informational-Variables

Previous: Extension GMP/MPFR Versioning, Up: Extension API Variables   [Contents][Index]

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.