Build modules cli and dist, unless property "skip-cli-dist" is set

2023-11-16 10:47:49 +01:00
parent 1c8c5cf434
commit e286135c70
1 changed files with 4 additions and 2 deletions
--- a/pom.xml
+++ b/pom.xml
@@ -1176,9 +1176,11 @@
        </profile>

        <profile>
-            <id>cli-dist</id>
+            <id>cli-dist-modules</id>
            <activation>
-                <activeByDefault>true</activeByDefault>
+                <property>
+                    <name>!skip-cli-dist</name>
+                </property>
            </activation>
            <modules>
                <module>pmd-cli</module>