From f52d4eb7a8314fd8f5466116accfe6a8376cc507 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Fri, 15 Mar 2013 13:02:53 +0100
Subject: [PATCH] Added new option --debug.

---
 src/utility/Settings.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/utility/Settings.cpp b/src/utility/Settings.cpp
index 26f733071..d6e2f5bc3 100644
--- a/src/utility/Settings.cpp
+++ b/src/utility/Settings.cpp
@@ -131,6 +131,7 @@ void Settings::initDescriptions() {
 	Settings::desc->add_options()
 		("help,h", "produce help message")
 		("verbose,v", "be verbose")
+		("debug", "be very verbose, intended for debugging")
 		("logfile,l", bpo::value<std::string>(), "name of the log file")
 		("configfile,c", bpo::value<std::string>(), "name of config file")
 		("test-prctl", bpo::value<std::string>(), "name of prctl file")