gawk: Extension API Informational Variables
1
1 16.4.13.3 Informational Variables
1 .................................
1
1 The API provides access to several variables that describe whether the
1 corresponding command-line options were enabled when 'gawk' was invoked.
1 The variables are:
1
1 'do_debug'
1 This variable is true if 'gawk' was invoked with '--debug' option.
1
1 'do_lint'
1 This variable is true if 'gawk' was invoked with '--lint' option.
1
1 'do_mpfr'
1 This variable is true if 'gawk' was invoked with '--bignum' option.
1
1 'do_profile'
1 This variable is true if 'gawk' was invoked with '--profile'
1 option.
1
1 'do_sandbox'
1 This variable is true if 'gawk' was invoked with '--sandbox'
1 option.
1
1 'do_traditional'
1 This variable is true if 'gawk' was invoked with '--traditional'
1 option.
1
1 The value of 'do_lint' can change if 'awk' code modifies the 'LINT'
1 predefined variable (⇒Built-in Variables). The others should not
1 change during execution.
1