diff options
Diffstat (limited to 'lab')
| -rw-r--r-- | lab/cmd-opts.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lab/cmd-opts.txt b/lab/cmd-opts.txt index de35ecd..fed7b0f 100644 --- a/lab/cmd-opts.txt +++ b/lab/cmd-opts.txt @@ -45,6 +45,14 @@ commands: -p --parallel bool --timid bool [run].timid + + --include=directory [run].include + --include=filename + --include=module + --exclude=directory [run].exclude + + + xml -i --ignore-errors bool --omit list of string @@ -57,7 +65,7 @@ commands: Other config: - [report].exclude list of string + [report].exclude_lines list of string [run].data_file string |