1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-27 00:11:17 +02:00

Sort substituters by priority

Fixes #1438.
This commit is contained in:
Eelco Dolstra 2017-07-04 16:34:53 +02:00
parent b7203e853e
commit 42c5774e78
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE
3 changed files with 11 additions and 0 deletions

View file

@ -123,6 +123,8 @@ public:
std::shared_ptr<std::string> getBuildLog(const Path & path) override;
int getPriority() override { return priority; }
};
}