[project @ 2000-08-03 11:28:35 by simonmar]
Implement +RTS -C<n>, the context switch interval flag. This was previously advertised in the usage message, but there was a note in the Users' Guide stating that it didn't work. Anwyay, I'm going to consider it a bug and backport to 4.08.1.
Showing with 39 additions and 21 deletions