diff options
Diffstat (limited to '.ci/run-link-check-plugin.sh')
-rwxr-xr-x | .ci/run-link-check-plugin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/run-link-check-plugin.sh b/.ci/run-link-check-plugin.sh index 434df02a6..c6bac1397 100755 --- a/.ci/run-link-check-plugin.sh +++ b/.ci/run-link-check-plugin.sh @@ -8,7 +8,7 @@ set -e uname -a mvn --version curl -I https://sourceforge.net/projects/checkstyle/ -mvn clean site -Dcheckstyle.ant.skip=true -DskipTests -DskipITs -Dpmd.skip=true -Dfindbugs.skip=true -Dcobertura.skip=true -Dcheckstyle.skip=true +mvn -e clean site -Dcheckstyle.ant.skip=true -DskipTests -DskipITs -Dpmd.skip=true -Dfindbugs.skip=true -Dcobertura.skip=true -Dcheckstyle.skip=true echo "------------ grep of linkcheck.html--BEGIN" # "grep ... | cat" is required command is running in "set -e" mode and grep could return exit code 1 if nothing is matching grep externalLink target/site/linkcheck.html | cat |