diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-10-29T15·34+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-10-29T15·34+0000 |
| commit | 709b55ee0281bc2d587dff6f60ec189b010800f6 (patch) | |
| tree | 18285f86f7247c8ee638598daad8e5b5b2387f26 /Makefile.am | |
| parent | c98ea254dcb6384b686a88657fd800ad7655e4a5 (diff) | |
* Put the chroots under /nix/var/nix/chroots to reduce the risk of
disasters involving `rm -rf' on bind mounts. Will try the definitive fix (per-process mounts, apparently possible via the CLONE_NEWNS flag in clone()) some other time.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions