diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-10-24T12·24+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-10-24T12·24+0200 |
commit | be220702a75427b80258a92d1ed8c4573c1478fa (patch) | |
tree | fa1535bf1b682db5f9a508f0cb393f8f235b16f0 /.gitignore | |
parent | f8624762aca7df05cfb405f5e79065d61b1a8d4b (diff) |
Progress indicator: Show on what machine we're building
E.g. $ nix build nixpkgs.hello --builders 'root@wendy' [1/0/1 built] building hello-2.10 on ssh://root@wendy: checking for minix/config.h... no
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions