diff options
author | Anna <cyber@sysrq.in> | 2023-01-11 22:23:43 +0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-11 12:23:43 -0500 |
commit | e4e947232b9e054cd55c9fefe3ea97f47619a5ca (patch) | |
tree | c55f2ee60230a20f65bd49611c14ee36bb5c7252 /doc | |
parent | 8be46f3d16fc4c3b05d927aa1e9738ac865a266e (diff) | |
download | Nim-e4e947232b9e054cd55c9fefe3ea97f47619a5ca.tar.gz |
testament: make valgrind optional (#21238)
Add a simple switch to enable/disable valgrind support. On by default
Diffstat (limited to 'doc')
-rw-r--r-- | doc/testament.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/testament.md b/doc/testament.md index ee57be4f1..08c3cd835 100644 --- a/doc/testament.md +++ b/doc/testament.md @@ -50,6 +50,7 @@ Options --colors:on|off Turn messages coloring on|off. --backendLogging:on|off Disable or enable backend logging. By default turned on. --megatest:on|off Enable or disable megatest. Default is on. +--valgrind:on|off Enable or disable valgrind support. Default is on. --skipFrom:file Read tests to skip from `file` - one test per line, # comments ignored |