-----------------------------------------------------------------------------
--- $Id: DriverState.hs,v 1.100 2004/02/25 11:31:24 simonmar Exp $
+-- $Id: DriverState.hs,v 1.101 2004/03/05 15:09:37 stolz Exp $
--
-- Settings for the driver
--
way_details =
[ (WayThreaded, Way "thr" True "Threaded" [
#if defined(freebsd_TARGET_OS)
- , "-optc-pthread"
+ "-optc-pthread"
#endif
] ),