File: gawk.info,  Node: Extension API Informational Variables,  Prev: Extension GMP/MPFR Versioning,  Up: Extension API Variables

17.4.14.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 (*note Built-in Variables::).  The others should not
change during execution.