Forwarding all options default values to device

matthiasrichter · ktf · commit bbdc4e01e5c1 · 2017-12-07T14:56:20.000+01:00
Probably we would need  a way to specify no default value in the config spec
diff --git a/Framework/Core/src/DeviceSpecHelpers.cxx b/Framework/Core/src/DeviceSpecHelpers.cxx
@@ -561,7 +561,7 @@ DeviceSpecHelpers::prepareArguments(int argc,
         // find the option belonging to key, add if the option has been parsed
         // and is not defaulted
         const auto * description = odesc.find_nothrow(varit.first, false);
-        if (description && varmap.count(varit.first) && !varit.second.defaulted()) {
+        if (description && varmap.count(varit.first)) {
           tmpArgs.emplace_back("--");
           tmpArgs.back() += varit.first;
           // check the semantics of the value
