diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-07-06T19·36+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-06T19·36+0200 |
commit | aa64e95bc82b3a57f3a645a746aacf4d2479266e (patch) | |
tree | 59e189fb0d5a1eae20708c159a491f08d795d0ba /configure.ac | |
parent | f1f4c257f48ed863b2061bc47a2334fd37ca3eff (diff) | |
parent | 6a24e49ba82553b5efcc49c627424bd4e26e16a5 (diff) |
Merge pull request #2250 from dtzWill/feature/repl-progress-bar-builds
repl: use `nix build` for building instead of `nix-store -r`
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions