diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-01 01:31:18 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-01 01:31:18 +0100 |
| commit | 165f4b2add7f292877d67d58c9f6cf9d1c137e70 (patch) | |
| tree | 85267cc09908eb0c5a3a05d71b18e9d3993bcde3 /.dir-locals.el | |
| parent | 36b56f081b5c84c48d2d5e47cab16ef2fefcc11a (diff) | |
| download | guix-165f4b2add7f292877d67d58c9f6cf9d1c137e70.tar.gz | |
offload: Take the target machine load into account.
* guix/scripts/offload.scm (machine-load, machine-less-loaded?, machine-less-loaded-or-faster?): New procedures. (choose-build-machine): Use 'machine-less-loaded-or-faster?' when sorting. Return the head of MACHINES unless it's loaded is >= 2.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions