diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/profiling.xml | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 5589fa9f9c..f213c54c10 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1626,8 +1626,10 @@ Options: --include=[PACKAGE:][MODULE] include MODULE and/or PACKAGE --srcdir=DIR path to source directory of .hs files multi-use of srcdir possible - --hpcdir=DIR sub-directory that contains .mix files + --hpcdir=DIR append sub-directory that contains .mix files default .hpc [rarely used] + --reset-hpcdirs empty the list of hpcdir's + [rarely used] --xml-output show output in XML </screen> </sect3> @@ -1644,8 +1646,10 @@ Options: --include=[PACKAGE:][MODULE] include MODULE and/or PACKAGE --srcdir=DIR path to source directory of .hs files multi-use of srcdir possible - --hpcdir=DIR sub-directory that contains .mix files + --hpcdir=DIR append sub-directory that contains .mix files default .hpc [rarely used] + --reset-hpcdirs empty the list of hpcdir's + [rarely used] --fun-entry-count show top-level function entry counts --highlight-covered highlight covered code, rather that code gaps --destdir=DIR path to write output to @@ -1723,8 +1727,10 @@ Options: --srcdir=DIR path to source directory of .hs files multi-use of srcdir possible - --hpcdir=DIR sub-directory that contains .mix files - default .hpc [rarely used] + --hpcdir=DIR append sub-directory that contains .mix files + default .hpc [rarely used] + --reset-hpcdirs empty the list of hpcdir's + [rarely used] --output=FILE output FILE % hpc help draft Usage: hpc draft [OPTION] .. <TIX_FILE> @@ -1735,8 +1741,10 @@ Options: --include=[PACKAGE:][MODULE] include MODULE and/or PACKAGE --srcdir=DIR path to source directory of .hs files multi-use of srcdir possible - --hpcdir=DIR sub-directory that contains .mix files + --hpcdir=DIR append sub-directory that contains .mix files default .hpc [rarely used] + --reset-hpcdirs empty the list of hpcdir's + [rarely used] --output=FILE output FILE </screen> </sect3> |