Fix output of --show-trace-tags. (#1430)

Now prints each tag in a separate line.

diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp
index 4d4ddfc32c93401e8848f34565da2354e960b1c0..4fb6357bd616c6010622f348fc1c0613207a7cd7 100644 (file)
--- 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 {