Changes:
- $Id: options.h 5234 2006-08-14 17:50:12Z christian $
+ $Id: options.h 5253 2006-08-18 18:37:19Z tbfg $
*/
extern s4 opt_stacksize;
extern bool opt_verbose;
+extern bool opt_colorverbose;
extern bool compileall;
extern bool loadverbose; /* Print debug messages during loading */