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

Update .jenkins.sh

parent b679b6f6

.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"