diff --git a/scripts/jenkins-quality-diff.sh b/scripts/jenkins-quality-diff.sh index ced8c623e1c67cde9e892dc723878f9d60dba2d3..5b3395ca29440fe261941b3826f6b94322874474 100755 --- a/scripts/jenkins-quality-diff.sh +++ b/scripts/jenkins-quality-diff.sh @@ -10,4 +10,7 @@ echo "Running diff quality." mkdir -p test_root/log/ LOG_PREFIX=test_root/log/run_quality +if [[ $TARGET_BRANCH != origin/* ]]; then + TARGET_BRANCH=origin/$TARGET_BRANCH +fi paver run_quality -b $TARGET_BRANCH -p 100 -l $LOWER_PYLINT_THRESHOLD:$UPPER_PYLINT_THRESHOLD 2> $LOG_PREFIX.err.log > $LOG_PREFIX.out.log