From 9d6a760bfa5755a44fc9d44ec0234dc6184ae6d6 Mon Sep 17 00:00:00 2001
From: Simon Marlow <simonmar@microsoft.com>
Date: Thu, 28 Feb 2008 11:22:09 +0000
Subject: [PATCH] add a note about SMP execution not being supported with
 profiling

---
 docs/users_guide/profiling.xml |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml
index 1b4dfa0..51ae6f7 100644
--- a/docs/users_guide/profiling.xml
+++ b/docs/users_guide/profiling.xml
@@ -33,7 +33,9 @@
     <listitem>
       <para> Run your program with one of the profiling options, eg.
       <literal>+RTS -p -RTS</literal>.  This generates a file of
-      profiling information.</para>
+      profiling information.  Note that multi-processor execution
+      (e.g. <literal>+RTS -N2</literal>) is not supported while
+      profiling.</para>
       <indexterm><primary><option>-p</option></primary><secondary>RTS
       option</secondary></indexterm>
     </listitem>
-- 
1.7.10.4