diff options
Diffstat (limited to 'dwarflint/checks.cc')
| -rw-r--r-- | dwarflint/checks.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dwarflint/checks.cc b/dwarflint/checks.cc index 16b7abe1..76ca27ae 100644 --- a/dwarflint/checks.cc +++ b/dwarflint/checks.cc @@ -24,7 +24,11 @@ <http://www.openinventionnetwork.com>. */ #include "checks.hh" -#include "options.h" +#include "option.hh" + +static void_option show_progress + ("Print out checks as they are performed, their context and result.", + "show-progress"); reporter::reporter (checkstack const &s, checkdescriptor const &a_cd) : stack (s) @@ -36,7 +40,7 @@ reporter::reporter (checkstack const &s, checkdescriptor const &a_cd) void reporter::operator () (char const *what, bool ext) { - if (!be_verbose) + if (!show_progress) return; if (false) |