diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-09-20 12:23:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-20 12:23:39 +0200 |
| commit | 46025e94cd662d8ae9918e59157cfd94be75c8c5 (patch) | |
| tree | 509b77a233727699a68a3e021e5eff6e237b403c /gnu | |
| parent | b1fea30339f071e8751039fd0e6ef2aa3e6f44fb (diff) | |
| download | guix-46025e94cd662d8ae9918e59157cfd94be75c8c5.tar.gz | |
offload: Use a total order when sorting available machines.
* guix/scripts/offload.scm (machine-less-loaded?, machine-faster?): Remove. (machine-power-factor): New procedure. (machine-less-loaded-or-faster?): Use it.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions