Extension API Informational Variables (The GNU Awk User’s Guide)
From Get docs
Gawk/docs/latest/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.