diff options
Diffstat (limited to 'src/driver/setup.cc')
| -rw-r--r-- | src/driver/setup.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/driver/setup.cc b/src/driver/setup.cc index 44c0d65..d010d32 100644 --- a/src/driver/setup.cc +++ b/src/driver/setup.cc @@ -677,7 +677,9 @@ namespace { enum verbose_level decode_verbose_level(const char verbose_level_string[]) { -if (STRING_EQUAL(verbose_level_string, "physics highlights")) +if (STRING_EQUAL(verbose_level_string, "no output")) + then return verbose_level__no_output; +else if (STRING_EQUAL(verbose_level_string, "physics highlights")) then return verbose_level__physics_highlights; else if (STRING_EQUAL(verbose_level_string, "physics details")) then return verbose_level__physics_details; |