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 /samples/armeb-unknown-eabi | |
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 'samples/armeb-unknown-eabi')
0 files changed, 0 insertions, 0 deletions