diff --git dev-support/jenkins-execute-build.sh dev-support/jenkins-execute-build.sh index 492aa5f..9293281 100644 --- dev-support/jenkins-execute-build.sh +++ dev-support/jenkins-execute-build.sh @@ -76,4 +76,14 @@ then rm -rf $ROOT/hive/build/test-results/ tar zxf test-results.tar.gz -C $ROOT/hive/build/ fi + +cd ../../.. +if [ -n "$ADDITIONAL_PROFILES" ]; then + echo "Compile check on additional Profiles: $ADDITIONAL_PROFILES" + for i in $(echo $ADDITIONAL_PROFILES | tr "," "\n") + do + mvn clean install -DskipTests -P$i; + done +fi + exit $ret