From 2ac0108a79f94b459148a026469aadf594b2fc64 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 17 Sep 2009 10:04:03 +0000
Subject: [PATCH] add -eventlog

---
 docs/users_guide/flags.xml |    6 ++++++
 1 file changed, 6 insertions(+)

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