path: root/scripts
diff options
authorYann E. MORIN" <>2011-07-09 22:02:05 (GMT)
committerYann E. MORIN" <>2011-07-09 22:02:05 (GMT)
commit5de61c803292614ecb8a8aaa7c0e900341dbae52 (patch)
tree42d74de0702c3cabd219de7e065b9f1cf74ccbc0 /scripts
parent96ab98a14b17e1ee1c50845cafab76a975ac5620 (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" <>
Diffstat (limited to 'scripts')
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/ b/scripts/
index a0cab79..35acdca 100644
--- a/scripts/
+++ b/scripts/
@@ -213,9 +213,8 @@ CT_TOOLCHAIN_ID="crosstool-${CT_VERSION} build ${CT_STAR_DATE_HUMAN} by ${CT_SYS
CT_DoLog EXTRA "Preparing working directories"
# Ah! The build directory shall be eradicated, even if we restart!
-if [ -d "${CT_BUILD_DIR}" ]; then
- CT_DoForceRmdir "${CT_BUILD_DIR}"
+# Ditto for the build tools install dir
# Don't eradicate directories if we need to restart
if [ -z "${CT_RESTART}" ]; then