diff --git a/compile.sh b/compile.sh index 13830cb55..204a2ae61 100755 --- a/compile.sh +++ b/compile.sh @@ -5,7 +5,7 @@ if [[ -z "$JENKINS_HOME" ]]; then exit 1 fi -mvn verify || { echo "Build failed"; exit 1; } +mvn install || { echo "Build failed"; exit 1; } rm -rf $JENKINS_HOME/plugins/warnings* diff --git a/go.sh b/go.sh index e4e79d413..06b810de8 100755 --- a/go.sh +++ b/go.sh @@ -5,7 +5,7 @@ if [[ -z "$JENKINS_HOME" ]]; then exit 1 fi -mvn verify || { echo "Build failed"; exit 1; } +mvn install || { echo "Build failed"; exit 1; } rm -rf $JENKINS_HOME/plugins/warnings* diff --git a/skip.sh b/skip.sh index 7e1b4de0e..a5484b08b 100755 --- a/skip.sh +++ b/skip.sh @@ -5,7 +5,7 @@ if [[ -z "$JENKINS_HOME" ]]; then exit 1 fi -mvn verify -DskipTests || { echo "Build failed"; exit 1; } +mvn install -DskipTests || { echo "Build failed"; exit 1; } rm -rf $JENKINS_HOME/plugins/warnings*