diff options
Diffstat (limited to 'src/libstore/globals.cc')
| -rw-r--r-- | src/libstore/globals.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/libstore/globals.cc b/src/libstore/globals.cc index 46b14cc98..4c66d08ee 100644 --- a/src/libstore/globals.cc +++ b/src/libstore/globals.cc @@ -249,17 +249,6 @@ unsigned int MaxBuildJobsSetting::parse(const std::string & str) const } } -unsigned int MaxSubstitutionJobsSetting::parse(const std::string & str) const -{ - if (str == "auto") return std::max(1U, std::thread::hardware_concurrency()); - else { - if (auto n = string2Int<decltype(value)>(str)) - return std::max(1U, *n); - else - throw UsageError("configuration setting '%s' should be 'auto' or an integer", name); - } -} - Paths PluginFilesSetting::parse(const std::string & str) const { |