From c10b08bf9a07b185de3c91516f1e86a3114da068 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 2 Dec 2012 10:30:21 +0100
Subject: [PATCH] adding option --verbose

---
 src/utility/settings.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/utility/settings.cpp b/src/utility/settings.cpp
index 258284dd9..b090a6e11 100644
--- a/src/utility/settings.cpp
+++ b/src/utility/settings.cpp
@@ -110,9 +110,10 @@ Settings* Settings::instance(const int argc, const char* argv[], const char* fil
 		 *	fill option descriptions
 		 */
 		Settings::commandline.add_options()
-			("help", "produce help message")
+			("help,h", "produce help message")
+			("verbose,v", "be verbose")
 			("help-config", "produce help message about config file")
-			("configfile", bpo::value<std::string>(), "name of config file")
+			("configfile,c", bpo::value<std::string>(), "name of config file")
 		;
 		Settings::generic.add_options()
 			("trafile", bpo::value<std::string>()->required(), "name of the .tra file")