[project @ 2001-08-13 12:34:37 by simonmar]
authorsimonmar <unknown>
Mon, 13 Aug 2001 12:34:37 +0000 (12:34 +0000)
committersimonmar <unknown>
Mon, 13 Aug 2001 12:34:37 +0000 (12:34 +0000)
commitf7d468d18f79af1baa6ff6985699844d921912d0
tree64669a8c6a87e82435dc9c9c15b49e69097ddf42
parent25f9e913eeee6c91e812b10a2a5206bbcbc14a7b
[project @ 2001-08-13 12:34:37 by simonmar]
The '--' argument disables any further +RTS ... -RTS processing on the
command line.
ghc/rts/RtsFlags.c