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 /misc | |
| parent | 92cb7c4dfe036ed4c13d45128a21838a039d840f (diff) | |
* Delete the chroot if it already exists (e.g. left over from an
interrupted build).
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions