From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 17 Sep 2009 10:04:03 +0000 (+0000)
Subject: add -eventlog
X-Git-Tag: 2009-11-15~310
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2ac0108a79f94b459148a026469aadf594b2fc64;p=ghc-hetmet.git

add -eventlog
---

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 685dd7a..182b2fd 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1801,6 +1801,12 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
+	      <entry><option>-eventlog</option></entry>
+	      <entry>Enable runtime event tracing</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
+	    <row>
 	      <entry><option>-fno-gen-manifest</option></entry>
 	      <entry>Do not generate a manifest file (Windows only)</entry>
 	      <entry>dynamic</entry>