/* -----------------------------------------------------------------------------
- * $Id: Stats.c,v 1.31 2001/07/23 17:23:20 simonmar Exp $
+ * $Id: Stats.c,v 1.34 2001/11/05 05:12:55 sof Exp $
*
* (c) The GHC Team, 1998-1999
*
*
* ---------------------------------------------------------------------------*/
-#define NON_POSIX_SOURCE
+/* Alas, no. This source is non-posix.
+ #include "PosixSource.h"
+*/
#include "Rts.h"
#include "RtsFlags.h"
fprintf(sf, " Total time %6.2fs (%6.2fs elapsed)\n\n",
TICK_TO_DBL(time), TICK_TO_DBL(etime));
fprintf(sf, " %%GC time %5.1f%% (%.1f%% elapsed)\n\n",
- TICK_TO_DBL(GC_tot_time)*100/time,
- TICK_TO_DBL(GCe_tot_time)*100/etime);
+ TICK_TO_DBL(GC_tot_time)*100/TICK_TO_DBL(time),
+ TICK_TO_DBL(GCe_tot_time)*100/TICK_TO_DBL(etime));
if (time - GC_tot_time == 0)
ullong_format_string(0, temp, rtsTrue/*commas*/);