Make -rtsopts more flexible
authorIan Lynagh <igloo@earth.li>
Thu, 5 Aug 2010 01:11:37 +0000 (01:11 +0000)
committerIan Lynagh <igloo@earth.li>
Thu, 5 Aug 2010 01:11:37 +0000 (01:11 +0000)
commit320738062c7a81f062c5adab98a1a1c4fdbd4bc7
treec7852c0dae4d2c50b78797fab6ce65a6e88da98f
parentd0fb9a95f40453321b82e23d9b322e79340b48c9
Make -rtsopts more flexible
The default is a new "some" state, which allows only known-safe flags
that we want on by default. Currently this is only "--info".
compiler/main/DriverPipeline.hs
compiler/main/DynFlags.hs
docs/users_guide/flags.xml
includes/RtsOpts.h [moved from rts/RtsOpts.h with 69% similarity]
rts/RtsFlags.c
rts/hooks/RtsOptsEnabled.c