diff --git a/jenkins/SO/start_build b/jenkins/SO/start_build index 27ca6e5276fa0d08c93fab43651d629342fdc37e..85d2ca7c318b7325c0beaaed259134a0d0e2aecf 100755 --- a/jenkins/SO/start_build +++ b/jenkins/SO/start_build @@ -43,7 +43,9 @@ INFO "starting build" ### put your commands here to ### build, test and produce coverage reports -RC=0 +./BUILD.sh + +RC=$? INFO "done, RC=$RC" exit $RC