diff --git a/build.sh b/build.sh index 9f180158f3ac491e3292ae9d270f9011864470ab..7641d0c7e0e81392fc182e056063424a60d8c885 100755 --- a/build.sh +++ b/build.sh @@ -9,6 +9,10 @@ comp_type=$4 branch=$5 with_gpu=$6 +echo "Trying to Fix the CI by removing everything" +rm -rf ./* + + if [ x"$branch" == x"" ]; then echo "Getting branch from git" branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3)