[project @ 1999-05-20 10:23:42 by simonmar]
+RTS -s<file> now gives "summary" statistics only (i.e. without the per-gc stat lines).
Loading
Please register or sign in to comment
+RTS -s<file> now gives "summary" statistics only (i.e. without the per-gc stat lines).