diff options
Diffstat (limited to 'scripts/ci/verify.sh')
| -rwxr-xr-x | scripts/ci/verify.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/ci/verify.sh b/scripts/ci/verify.sh index 219821e..975aff5 100755 --- a/scripts/ci/verify.sh +++ b/scripts/ci/verify.sh @@ -22,19 +22,20 @@ export BASE_DIR=$(dirname $0)/../.. echo "======================================" echo "BASE_DIR: ${BASE_DIR}" +echo "BUILD_DIR: ${BASE_DIR}/build" echo if [ ! -d ${BASE_DIR}/build ]; then echo "==================================" echo "${BASE_DIR}/build doesn't exist" echo - exit 0 + exit 1 fi cd ${BASE_DIR}/build/ if [ ! -e build.sh ]; then echo "==================================" echo "build.sh doesn't exist" echo - exit 0 + exit 1 fi echo ./build.sh ./build.sh |