diff options
Diffstat (limited to 'docs/users_guide/profiling.rst')
| -rw-r--r-- | docs/users_guide/profiling.rst | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst index 78f96ae8cb..803457fce9 100644 --- a/docs/users_guide/profiling.rst +++ b/docs/users_guide/profiling.rst @@ -1471,6 +1471,18 @@ Options for instrumenting code for coverage :ghc-flag:`-fhpc`, and the :command:`hpc` tool will only show information about those modules. +.. ghc-flag:: -hpcdir⟨dir⟩ + :shortdesc: Set the directory where GHC places ``.mix`` files. + :type: dynamic + :category: coverage + + :default: .hpc + + Override the directory where GHC places the HPC index + (``.mix``) files used by ``hpc`` to understand program + structure. + + The hpc toolkit ~~~~~~~~~~~~~~~ |