diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-04T16·35+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-04T16·35+0000 |
| commit | bcfe98acffbefea734f51523b386868ae443c111 (patch) | |
| tree | 78b73718e78d604eb00ec0a8e907a2db71b4324a /scripts/nix-push.in | |
| parent | 9850262a72d1eb77c8f36cf44a9a4aaffedc5d6b (diff) | |
* Prefer building on a remote machine over a local machine. This
makes more sense for the build farm, otherwise every nix-store invocation will lead to at least one local build. Will come up with a better solution later...
Diffstat (limited to 'scripts/nix-push.in')
0 files changed, 0 insertions, 0 deletions