diff options
| author | Cedric Nugteren <web@cedricnugteren.nl> | 2018-10-13 17:47:29 +0200 |
|---|---|---|
| committer | Cedric Nugteren <web@cedricnugteren.nl> | 2018-10-13 17:47:29 +0200 |
| commit | 46c50cdd7e06c93270af0557e580a743844a9428 (patch) | |
| tree | e93397b600d9b17e12343ea15c967bac218627f4 /src/api_common.cpp | |
| parent | 8676b621783ad64b72eeed071048490cd4252574 (diff) | |
Made tuning API more flexible: disregards any extra parameter values
Diffstat (limited to 'src/api_common.cpp')
| -rw-r--r-- | src/api_common.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api_common.cpp b/src/api_common.cpp index 4e08f1ef..4a4d5f8c 100644 --- a/src/api_common.cpp +++ b/src/api_common.cpp @@ -161,7 +161,7 @@ StatusCode OverrideParameters(const RawDeviceID device, const std::string &kerne // Verifies the parameters size const auto current_parameter_names = current_database.GetParameterNames(); - if (current_parameter_names.size() != parameters.size()) { + if (current_parameter_names.size() > parameters.size()) { return StatusCode::kMissingOverrideParameter; } |