Loading .jenkins.sh +3 −5 Original line number Diff line number Diff line Loading @@ -12,10 +12,8 @@ rm build/*-API.json cd docker ./build-container.sh ./run-container.sh "${run_dir}" cd .. python ./scripts/add_change_comment.py ./run-container.sh "${run_dir}" OUTCOME=$? exit $? exit $OUTCOME Loading
.jenkins.sh +3 −5 Original line number Diff line number Diff line Loading @@ -12,10 +12,8 @@ rm build/*-API.json cd docker ./build-container.sh ./run-container.sh "${run_dir}" cd .. python ./scripts/add_change_comment.py ./run-container.sh "${run_dir}" OUTCOME=$? exit $? exit $OUTCOME