diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-10-23T18·43+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-10-23T18·50+0200 |
| commit | 37fbfffd8e23cf9ca4038e6c4145583a811e91aa (patch) | |
| tree | 4605d5cdd90bd1a9c5e796278bd40b0acb3ad93c /shell.nix | |
| parent | f32cdc4fab1bff919c3d074a95e32a9934eb7386 (diff) | |
Pass all settings to build-remote
This ensures that command line flags such as --builders get passed correctly.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions