X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.xml;h=0dde52e317a358f24cc654b95a1fb057c97c740d;hb=2a2efb720c0fdc06fe749f96f284b00b30f8f3f7;hp=bbd57a097feb89884b54b9203cb44d05e4a2e9ca;hpb=4b0b74b603640af797df679ba7a664779bd55842;p=ghc-hetmet.git diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index bbd57a0..0dde52e 100644 --- a/ghc/docs/users_guide/flags.xml +++ b/ghc/docs/users_guide/flags.xml @@ -77,6 +77,12 @@ static - + + + Summarise timing stats for GHC (same as +RTS -tstderr) + static + - + @@ -173,12 +179,6 @@ mode - - - - DLL-creation mode (Windows only) - dynamic - - - @@ -242,6 +242,12 @@ dynamic - + + dir + redirect FFi stub files + dynamic + - + @@ -1282,6 +1288,12 @@ - + + DLL-creation mode (Windows only) + dynamic + - + + Don't assume this program contains main dynamic @@ -1870,7 +1882,6 @@ Still to document: Misc: , ( "H" , HasArg (setHeapSize . fromIntegral . decodeSize) ) - , ( "Rghc-timing" , NoArg (enableTimingStats) ) -Bdir -->