/* -----------------------------------------------------------------------------
- * $Id: RtsFlags.h,v 1.24 2000/04/03 15:54:50 simonmar Exp $
+ * $Id: RtsFlags.h,v 1.26 2000/08/03 11:28:35 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
# define COST_CENTRES_ALL 3
# define COST_CENTRES_XML 4
- int ctxtSwitchTicks; /* derived */
int profilerTicks; /* derived */
int msecsPerTick; /* derived */
};
# define DESCRchar 'D'
# define TYPEchar 'Y'
# define TIMEchar 'T'
-
- char *ccSelector;
- char *modSelector;
- char *descrSelector;
- char *typeSelector;
- char *kindSelector;
};
#elif defined(DEBUG)
# define NO_HEAP_PROFILING 0
#endif /* DEBUG || PROFILING */
struct CONCURRENT_FLAGS {
- int ctxtSwitchTime; /* in milliseconds */
+ int ctxtSwitchTime; /* in milliseconds */
+ int ctxtSwitchTicks; /* derived */
};
#ifdef PAR