Commit ef761ea0 authored by Giacomo Bernini's avatar Giacomo Bernini
Browse files

Update .jenkins.sh

parent f29411c5

.jenkins.sh

+1 −1
Original line number Diff line number Diff line
@@ -18,7 +18,7 @@ if [ "$ret" != "0" ]; then 
     exit -1

fi



bash ./scripts/run-container.sh "${run_dir}"

bash ./scripts/run-container.sh "${run_dir}" "$GIT_BRANCH"

ret=$?

if [ "$ret" != "0" ]; then

     echo "run-container.sh failed"