Updated profiling information

diff --git a/README.html b/README.html
index dd8744b070a5ed6d51a9133c11a0a9e8dc581d16..916c577914204de7221867eca95a26dfc1028e87 100644 (file)
--- a/README.html
+++ b/README.html
@@ -43,9 +43,9 @@
 <pre><code>stack ghci advent01:exe:advent01</code></pre>
 <p>if the first form is ambiguous.</p>
 <p>To profile, use</p>
-<pre><code>stack build --executable-profiling --library-profiling --ghc-options=&quot;-fprof-auto -rtsopts&quot;</code></pre>
+<pre><code>stack build --executable-profiling --library-profiling --ghc-options=&quot;-fprof-auto -rtsopts&quot; advent01</code></pre>
 <p>then run with</p>
-<pre><code>stack exec -- advent01 +RTS -p -hy</code></pre>
+<pre><code>stack exec --profile -- advent01 +RTS -p -hy</code></pre>
 <p>Generate the profile graph with</p>
 <pre><code>stack exec hp2ps advent01.hp</code></pre>
 <h1 id="packages">Packages</h1>

diff --git a/README.md b/README.md
index 3c08dac9befd9dbc2144d01b1be1d87192b1ff4c..ba5265bc3c9b7d778e1c56d56fc8307e6fac5f19 100644 (file)
--- a/README.md
+++ b/README.md
@@ -69,11 +69,11 @@ if the first form is ambiguous.
 
 To profile, use 
 ```
-stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"
+stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" advent01
 ```
 then run with
 ```
-stack exec -- advent01 +RTS -p -hy
+stack exec --profile -- advent01 +RTS -p -hy
 ```
 Generate the profile graph with
 ```