diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-11T17·00+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-11T17·00+0000 |
| commit | 7c54f1603f0c793bfc1f191aaa0ec71441038515 (patch) | |
| tree | fca233b8416294da7404ccf5ca203ed23f5aeebf /scripts/nix-reduce-build.in | |
| parent | 07cdfb09fb74cf8e1c3c70c070ad20b5d1119fcf (diff) | |
* Do chroot builds in a private namespace. This means that all the
bind-mounts we do are only visible to the builder process and its children. So accidentally doing "rm -rf" on the chroot directory won't wipe out /nix/store and other bind-mounted directories anymore. Also, the bind-mounts in the private namespace disappear automatically when the builder exits.
Diffstat (limited to 'scripts/nix-reduce-build.in')
0 files changed, 0 insertions, 0 deletions