Name
ecl_get_option
— Read the value of a boot option.
Function
cl_fixnum ecl_get_option(
int option)
;
Description
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.