diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-07-09 22:02:05 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-07-09 22:02:05 (GMT) |
commit | 5de61c803292614ecb8a8aaa7c0e900341dbae52 (patch) | |
tree | 42d74de0702c3cabd219de7e065b9f1cf74ccbc0 /docs/4 - Building the toolchain.txt | |
parent | 96ab98a14b17e1ee1c50845cafab76a975ac5620 (diff) |
scripts: on startup, also remove the buildtools dir
In case there's one lingering around (whether the previous build was
successful, or failed), we have to remove the buildtools directory
as well as the toochain build dir.
This should also fix the case where out makeinfo wrapper calls
itself recursively.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'docs/4 - Building the toolchain.txt')
0 files changed, 0 insertions, 0 deletions