tidy up script for PRs

This commit is contained in:
rodicasutu
2020-07-07 14:57:06 +03:00
parent fe9e160ff5
commit 3089303335

View File

@@ -11,12 +11,11 @@ then
else else
export MAVEN_PHASE="verify" export MAVEN_PHASE="verify"
fi fi
# If this is pull request # If this is pull request
if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; if [ "${TRAVIS_PULL_REQUEST}" != "false" ];
then then
export MAVEN_PHASE="verify" export MAVEN_PHASE="verify"
echo "Maven Phase: ${MAVEN_PHASE}"
# exit 0
fi fi
echo "Maven Phase: ${MAVEN_PHASE}"