[ci] Fix build.sh

This commit is contained in:
Andreas Dangel 2024-03-22 08:45:03 +01:00
parent 2e91f316f4
commit 8704b85ffe
No known key found for this signature in database
GPG Key ID: 93450DF2DF9A3FA3

View File

@ -82,10 +82,10 @@ function build() {
# There are two possible (release) builds: # There are two possible (release) builds:
if [ "${BUILD_CLI_DIST_ONLY}" = "false" ]; then if [ "${BUILD_CLI_DIST_ONLY}" = "false" ]; then
# a) everything without pmd-cli and pmd-dist # a) everything without pmd-cli and pmd-dist
./mvnw clean verify -P"${mvn_profiles}" -Dskip-cli-dist --show-version --errors --batch-mode "${PMD_MAVEN_EXTRA_OPTS[@]}" ./mvnw clean verify -Dskip-cli-dist --show-version --errors --batch-mode "${PMD_MAVEN_EXTRA_OPTS[@]}"
else else
# b) only pmd-cli and pmd-dist # b) only pmd-cli and pmd-dist
./mvnw clean verify -P"${mvn_profiles}" -pl pmd-cli,pmd-dist --show-version --errors --batch-mode "${PMD_MAVEN_EXTRA_OPTS[@]}" ./mvnw clean verify -pl pmd-cli,pmd-dist --show-version --errors --batch-mode "${PMD_MAVEN_EXTRA_OPTS[@]}"
fi fi
else else
# snapshot build - just verify on the different OS # snapshot build - just verify on the different OS