diff --git a/jenkins/UI/start_build b/jenkins/UI/start_build index 05a191c329516a3efedb14c08615bf078dd22bd5..772a3c2ee52cf282f0923b7690619ad65f0f4a07 100755 --- a/jenkins/UI/start_build +++ b/jenkins/UI/start_build @@ -39,7 +39,7 @@ else fi INFO "starting build" -make -j16 -C UI || FATAL "Make failed" +make -j16 || FATAL "Make failed" sudo make install || FATAL "Make install Failed" RC=0