diff --git a/jenkins/RO/start_build b/jenkins/RO/start_build index 37cdbdf0c1c85f4752adddab96322d1768755a93..7ae8d240c61aa5f0fcbe2157e53e001b9e635bb2 100755 --- a/jenkins/RO/start_build +++ b/jenkins/RO/start_build @@ -38,9 +38,8 @@ fi if [ $# -gt 0 ]; then INFO "Code to compile: gerrit refspec '$1', commit-id: '$2'" - FATAL "Testing" - #git fetch origin $1 || FATAL "git fetch origin '$1' didn't work" - #git checkout -f $2 || FATAL "git checkout -f '$2' didn't work" + git fetch origin $1 || FATAL "git fetch origin '$1' didn't work" + git checkout -f $2 || FATAL "git checkout -f '$2' didn't work" else INFO "Code to compile: master" git checkout master @@ -48,10 +47,6 @@ fi INFO "starting build" -### for start_build -### put your commands here to -### build, test and produce coverage reports - rm *.pyc python -m py_compile *.py RC=$?