diff --git a/ci_build.sh b/ci_build.sh index 9c0aa923..b2ce28ee 100755 --- a/ci_build.sh +++ b/ci_build.sh @@ -1,5 +1,7 @@ #!/usr/bin/env bash +set -x + if [ $BUILD_TYPE == "default" ]; then mkdir tmp BUILD_PREFIX=$PWD/tmp