diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-09-02T12·54+0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-09-02T12·54+0200 |
commit | 73332fd34224e184b4d9e7a88c69aae85946e4ed (patch) | |
tree | dba0dda3454b6ebebe84ce613eb7cfe6be9ef2bb /dev-shell | |
parent | d711fe8f5ea240a27fcfb4fba908cfcdb432f079 (diff) |
Filter build-chroot-dirs entries that conflict with derivation outputs
Fixes https://github.com/NixOS/nixpkgs/issues/9504. Note that this means we may have a non-functional /bin/sh in the chroot while rebuilding Bash or one of its dependencies. Ideally those packages don't rely on /bin/sh though.
Diffstat (limited to 'dev-shell')
0 files changed, 0 insertions, 0 deletions