diff options
| author | fiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b> | 2006-12-31 17:53:44 +0000 |
|---|---|---|
| committer | fiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b> | 2006-12-31 17:53:44 +0000 |
| commit | df980b899d7ad5107f3f9492e5ac983e98e09ade (patch) | |
| tree | a2bdd3e850514e6d7d17317d13642029e0929150 | |
| parent | 3f5194b3bf10331cc8ca8fe82a5bc56f7ca6355e (diff) | |
Added instructions for using the GHC profiler.
git-svn-id: https://pandoc.googlecode.com/svn/trunk@355 788f1e2b-df1e-0410-8736-df70ead52e1b
| -rw-r--r-- | PROFILING | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/PROFILING b/PROFILING new file mode 100644 index 000000000..1560c6ba2 --- /dev/null +++ b/PROFILING @@ -0,0 +1,6 @@ +To use the GHC profiler: + + make clean + HCFLAGS="-prof -auto-all -O0" make + ./pandoc +RTS -p -RTS [file]... + less pandoc.prof |