fixed: fail build in jenkins scripts if installation target fails

2018-09-19 12:26:15 +02:00 · 2018-09-19 12:26:15 +02:00 · e3bc8a6ad7
commit e3bc8a6ad7
parent 564f064392
1 changed files with 1 additions and 0 deletions
--- 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
 }