Merge "The script pulls all branches and now can check out a specific branch or commi...

diff --git a/jenkins/SO/start_build b/jenkins/SO/start_build
index fa1e1c4..ac07fc7 100755 (executable)
--- a/jenkins/SO/start_build
+++ b/jenkins/SO/start_build
@@ -49,7 +49,7 @@ fi
 
 INFO "starting build"
 make clean || FATAL "make clean failed"
-./BUILD_UB.sh
+./BUILD.sh
 
 RC=$?