Info Catalog gawk: Extension GMP/MPFR Versioning gawk: Extension API Variables

gawk: Extension API Informational Variables

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

Info Catalog gawk: Extension GMP/MPFR Versioning gawk: Extension API Variables