diff --git a/jenkins/build-opm-module.sh b/jenkins/build-opm-module.sh index 32fdb0d34..124b11cca 100755 --- a/jenkins/build-opm-module.sh +++ b/jenkins/build-opm-module.sh @@ -112,6 +112,7 @@ function build_module { else cmake --build . --target install fi + test $? -eq 0 || exit 3 fi }