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
-->