diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-12-05 12:18:37 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-05 12:18:37 -0800 |
| commit | 108b5ed9d1f66884af7ede96155670bb1dc2fb43 (patch) | |
| tree | b55cdc66400cedb83e8d4cdd7563d2055943b1e4 | |
| parent | a31921398fee6592b3ed3e1fc85edcb6dfe5b773 (diff) | |
Fix output of --show-trace-tags. (#1430)
Now prints each tag in a separate line.
| -rw-r--r-- | src/options/options_handler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 4d4ddfc32..4fb6357bd 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -1564,11 +1564,11 @@ void OptionsHandler::showDebugTags(std::string option) { void OptionsHandler::showTraceTags(std::string option) { if(Configuration::isTracingBuild()) { - std::cout << "available tags:"; + std::cout << "available tags:" << std::endl; unsigned ntags = Configuration::getNumTraceTags(); char const* const* tags = Configuration::getTraceTags(); for (unsigned i = 0; i < ntags; ++ i) { - std::cout << tags[i]; + std::cout << " " << tags[i] << std::endl; } std::cout << std::endl; } else { |