OPTIONS
OPTIONS
Lists the settings of CLIPS compiler flags.
(options)