diff options
Diffstat (limited to 'src/libstore/build/worker.hh')
-rw-r--r-- | src/libstore/build/worker.hh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/libstore/build/worker.hh b/src/libstore/build/worker.hh index e1d8e5031..fbb5ad6ec 100644 --- a/src/libstore/build/worker.hh +++ b/src/libstore/build/worker.hh @@ -91,11 +91,6 @@ private: std::map<DrvOutput, std::weak_ptr<DrvOutputSubstitutionGoal>> drvOutputSubstitutionGoals; /** - * Goals waiting for busy paths to be unlocked. - */ - WeakGoals waitingForAnyGoal; - - /** * Goals sleeping for a few seconds (polling a lock). */ WeakGoals waitingForAWhile; @@ -242,12 +237,6 @@ public: void waitForBuildSlot(GoalPtr goal); /** - * Wait for any goal to finish. Pretty indiscriminate way to - * wait for some resource that some other goal is holding. - */ - void waitForAnyGoal(GoalPtr goal); - - /** * Wait for a few seconds and then retry this goal. Used when * waiting for a lock held by another process. This kind of * polling is inefficient, but POSIX doesn't really provide a way |