diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-11-30 20:34:50 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-11-30 20:34:50 (GMT) |
| commit | 009eb2a247593b36c98594464ed305c97af9a731 (patch) | |
| tree | a4632a42b704cb3ed70cac4b8afe395700482018 /patches | |
| parent | 01a58679df10cde9524e0f4170fed51363df1fb2 (diff) | |
scripts: protect against partially extracted source
In case of failure (eg. user hitting Ctrl-C), avoid extracting over
partially extracted source. Will help once we have git available.
Diffstat (limited to 'patches')
0 files changed, 0 insertions, 0 deletions