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