diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12 11:49:42 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12 11:49:42 +0000 |
| commit | 6776a52bb380bb2567847c6e50e1d7880ad7847a (patch) | |
| tree | 48f9bcb2738a51096489628bda4c2e3172bb1ea4 /src/nix-worker | |
| parent | d86bd22d247227e36de9577f25ad35f8fd4c65e0 (diff) | |
* Use a PathSet for the chroot directories so that we don't
accidentally bind-mount a directory twice.
Diffstat (limited to 'src/nix-worker')
0 files changed, 0 insertions, 0 deletions