diff options
Diffstat (limited to 'round-robin.sh')
-rw-r--r-- | round-robin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/round-robin.sh b/round-robin.sh index b15521cb..e2e9bc90 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -367,7 +367,7 @@ build_abe () set +f; rm -rf builds/*/*/$git_dir*; set -f fi - if [ x"$project" = x"gcc" ]; then + if [ x"$project" = x"gcc" -a -d builds/destdir ]; then # Delete previously-built GCC so that we avoid using it in native # builds. Otherwise, when we are bisecting GCC bootstrap failure, # we could use broken GCC. |