diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-15T23·55+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-15T23·55+0000 |
commit | 6f6bb1fdea9dcd4c6f6c0b8059b05d56ea7c16f3 (patch) | |
tree | e6c6477fe048c6bd678ec43bb806ed8d01f62102 /src/libexpr/names.cc | |
parent | 92cb7c4dfe036ed4c13d45128a21838a039d840f (diff) |
* Delete the chroot if it already exists (e.g. left over from an
interrupted build).
Diffstat (limited to 'src/libexpr/names.cc')
0 files changed, 0 insertions, 0 deletions