ecl_get_option
ecl_get_option — Read the value of a boot option.
cl_fixnum ecl_get_option( int option);
cl_fixnum ecl_get_option(
)
option
An integer from Table 8.1.
This functions reads the value of different options that have to be customized before ECL boots. The table of options and default values is Table 8.1.