Repository navigation

switch quiet

Jump to bottom

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

`quiet` switch

Possible values: on off, default off

If set to on, the system only issues error messages.

Related: verbose

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team

Clone this wiki locally