home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / kaffe-0.5p4-src.tgz / tar.out / contrib / kaffe / kaffevm / flags.c < prev    next >
C/C++ Source or Header  |  1996-09-28  |  583b  |  30 lines
  1. /*
  2.  * flags.c
  3.  * Various configuration flags.
  4.  *
  5.  * Copyright (c) 1996 Systems Architecture Research Centre,
  6.  *           City University, London, UK.
  7.  *
  8.  * See the file "license.terms" for information on usage and redistribution
  9.  * of this file, and for a DISCLAIMER OF ALL WARRANTIES.
  10.  *
  11.  * Written by Tim Wilkinson <tim@sarc.city.ac.uk>, February 1996.
  12.  */
  13.  
  14. #include "flags.h"
  15.  
  16. /*
  17.  * Enable optimise.
  18.  */
  19. int flag_optimise = 0;
  20.  
  21. /*
  22.  * Specify what and how bytecode should be verified.
  23.  */
  24. int flag_verify = 0;
  25.  
  26. /*
  27.  * Specify whether the garbage collector is noisy.
  28.  */
  29. int flag_gc = 0;
  30.