in debug builds, -d can be used for trace tags that aren't also debug tags

diff --git a/src/util/options.cpp b/src/util/options.cpp
index a9405fb25d238f5a3c7439641b1919050f9b98e0..36033db0bb7369d8fec3d063bbc4386fba2c52c5 100644 (file)
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -577,7 +577,7 @@ throw(OptionException) {
 
     case 'd':
       if(Configuration::isDebugBuild() && Configuration::isTracingBuild()) {
-        if(!Configuration::isDebugTag(optarg)) {
+        if(!Configuration::isDebugTag(optarg) && !Configuration::isTraceTag(optarg)) {
           throw OptionException(string("debug tag ") + optarg +
                                 string(" not available"));
         }