summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
d1bd2b6)
remove unused v_ProduceHi
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
--- $Id: DriverState.hs,v 1.25 2001/01/19 15:26:37 simonmar Exp $
+-- $Id: DriverState.hs,v 1.26 2001/02/01 11:47:53 simonmar Exp $
--
-- Settings for the driver
--
--
-- Settings for the driver
--
-----------------------------------------------------------------------------
-- Hi Files
-----------------------------------------------------------------------------
-- Hi Files
-GLOBAL_VAR(v_ProduceHi, True, Bool)
GLOBAL_VAR(v_Hi_on_stdout, False, Bool)
GLOBAL_VAR(v_Hi_suf, "hi", String)
GLOBAL_VAR(v_Hi_on_stdout, False, Bool)
GLOBAL_VAR(v_Hi_suf, "hi", String)