diff --git a/contrib/fresh_clone_compile_and_run.sh b/contrib/fresh_clone_compile_and_run.sh index bc0364cf9..a895f3cc3 100755 --- a/contrib/fresh_clone_compile_and_run.sh +++ b/contrib/fresh_clone_compile_and_run.sh @@ -6,7 +6,8 @@ # Usage: $0 BRANCH JOBS # TODO: default to master branch with 2 jobs -set -eu -o pipefail +# we don't want this for our build.sh and make commands +#set -eu -o pipefail BRANCH=$1