From e286135c700e55541f39ff75c9cb92f8b732c230 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Thu, 16 Nov 2023 10:47:49 +0100
Subject: [PATCH] Build modules cli and dist, unless property "skip-cli-dist"
 is set

---
 pom.xml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index dd41196cb2..26db070488 100644
--- 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>