POM: fixed default enablement of "dist" profile, sorry

Evolveum · Jul 13, 2022 · 192da68 · 192da68
1 parent 7e6fb95
commit 192da68
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -176,6 +176,11 @@
     <profiles>
         <profile>
             <id>dist</id>
+            <activation>
+                <property>
+                    <name>!skipDist</name>
+                </property>
+            </activation>
             <modules>
                 <module>dist</module>
             </modules>