diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/buildtool')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/buildtool/ExecutionTool.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/buildtool/ExecutionTool.java b/src/main/java/com/google/devtools/build/lib/buildtool/ExecutionTool.java index 6971aaca39..cb058474a4 100644 --- a/src/main/java/com/google/devtools/build/lib/buildtool/ExecutionTool.java +++ b/src/main/java/com/google/devtools/build/lib/buildtool/ExecutionTool.java @@ -630,6 +630,7 @@ public class ExecutionTool { resources = LocalHostCapacity.getLocalHostCapacity(); resourceMgr.setRamUtilizationPercentage(options.ramUtilizationPercentage); } + resourceMgr.setUseLocalMemoryEstimate(options.localMemoryEstimate); resourceMgr.setAvailableResources(ResourceSet.create( resources.getMemoryMb(), |