From 8704b85ffeb58d9e1c402610bfcfc5cca2f64aac Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Fri, 22 Mar 2024 08:45:03 +0100 Subject: [PATCH] [ci] Fix build.sh --- .ci/build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.ci/build.sh b/.ci/build.sh index bba508c836..3046b0dd9a 100755 --- a/.ci/build.sh +++ b/.ci/build.sh @@ -82,10 +82,10 @@ function build() { # There are two possible (release) builds: if [ "${BUILD_CLI_DIST_ONLY}" = "false" ]; then # 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 # 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 else # snapshot build - just verify on the different OS