diff options
-rw-r--r-- | round-robin.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/round-robin.sh b/round-robin.sh index 0b105581..745c5e00 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -386,13 +386,15 @@ build_abe () # to do on a check step. if ! $check; then set +f; rm -rf builds/*/*/$project-*; set -f - fi - if [ x"$project" = x"gcc" ] && [ -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. - find builds/destdir -path "*/bin/*gcc" -o -path "*/bin/*g++" -delete + if [ x"$project" = x"gcc" ] && [ -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. + find builds/destdir \ + \( -path "*/bin/*gcc" -o -path "*/bin/*g++" \ + -o -path "*/bin/*cpp" -o -path "*/bin/*c++" \) -delete + fi fi PATH=$(pwd)/bin:$PATH |