diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-09-20 12:10:28 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-20 12:10:28 +0200 |
| commit | b1fea30339f071e8751039fd0e6ef2aa3e6f44fb (patch) | |
| tree | e641b19019598d87bb5169d31f6a3257220ab8c1 /gnu | |
| parent | 4359378a2c83afd9f511fb3fbf8c81f236d0a9b9 (diff) | |
| download | guix-b1fea30339f071e8751039fd0e6ef2aa3e6f44fb.tar.gz | |
offload: Try another machine when the "best" machine is overloaded.
* guix/scripts/offload.scm (choose-build-machine): When BEST is overloaded, try the other machines.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions