[project @ 2000-08-03 11:28:35 by simonmar]
authorsimonmar <unknown>
Thu, 3 Aug 2000 11:28:35 +0000 (11:28 +0000)
committersimonmar <unknown>
Thu, 3 Aug 2000 11:28:35 +0000 (11:28 +0000)
commit66f7a41dfbf02a000ef3fb2a2b84c89f5dd53177
treef6c4a9e8a5c8aa8d94abdb33ced8a82ce315854b
parentf151e6c0fe2aeeffb90aad5c59c50bdf077a49b5
[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.
ghc/includes/Constants.h
ghc/rts/Itimer.c
ghc/rts/Itimer.h
ghc/rts/RtsFlags.c
ghc/rts/RtsFlags.h
ghc/rts/Schedule.c