diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-02-21 16:28:23 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2022-02-21 16:28:23 +0100 |
commit | fe9afb65bb35737a144acd612170b2e284298a2f (patch) | |
tree | acac44bb153ad9f7e5c6713220cd05cf1c17cb5c /src/libstore/build/worker.cc | |
parent | afcdc7606cb9c1a1603a3a51b08ac411f82795db (diff) |
Remove std::set alias
Diffstat (limited to 'src/libstore/build/worker.cc')
-rw-r--r-- | src/libstore/build/worker.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libstore/build/worker.cc b/src/libstore/build/worker.cc index f11c5ce68..0a6108233 100644 --- a/src/libstore/build/worker.cc +++ b/src/libstore/build/worker.cc @@ -161,7 +161,7 @@ unsigned Worker::getNrLocalBuilds() } -void Worker::childStarted(GoalPtr goal, const set<int> & fds, +void Worker::childStarted(GoalPtr goal, const std::set<int> & fds, bool inBuildSlot, bool respectTimeouts) { Child child; @@ -377,7 +377,7 @@ void Worker::waitForInput() GoalPtr goal = j->goal.lock(); assert(goal); - set<int> fds2(j->fds); + std::set<int> fds2(j->fds); std::vector<unsigned char> buffer(4096); for (auto & k : fds2) { if (pollStatus.at(fdToPollStatus.at(k)).revents) { |