diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12T11·49+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-12T11·49+0000 |
commit | 6776a52bb380bb2567847c6e50e1d7880ad7847a (patch) | |
tree | 48f9bcb2738a51096489628bda4c2e3172bb1ea4 /src/nix-worker/nix-worker.cc | |
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/nix-worker.cc')
0 files changed, 0 insertions, 0 deletions