diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-01-09 12:44:27 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-09 12:44:27 -0800 |
commit | 6b2752ae9c9c9af67a86c27c0d688f16f8fd0c41 (patch) | |
tree | 6672bf9fb838bf854756f9f7c5935f6a00023ba6 /src/options/base_options | |
parent | e6c966990ee7d166c421b6ba8ec39ac2e05ee62a (diff) |
Fix output of --trace=help. (#1500)
Diffstat (limited to 'src/options/base_options')
-rw-r--r-- | src/options/base_options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/base_options b/src/options/base_options index 7346641c7..7098e1f5d 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -199,9 +199,9 @@ option parseOnly parse-only --parse-only bool :read-write option preprocessOnly preprocess-only --preprocess-only bool exit after preprocessing input -option - trace -t --trace=TAG argument :handler addTraceTag +option - trace -t --trace=TAG argument :handler enableTraceTag trace something (e.g. -t pushpop), can repeat -option - debug -d --debug=TAG argument :handler addDebugTag +option - debug -d --debug=TAG argument :handler enableDebugTag debug something (e.g. -d arith), can repeat option printSuccess print-success --print-success bool :notify notifyPrintSuccess |