Slight convenience change in pom.xml

skapral · Jan 28, 2022 · 3a5ed8f · 3a5ed8f
1 parent 387e582
commit 3a5ed8f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -18,6 +18,9 @@
         </profile>
         <profile>
             <id>modules</id>
+            <activation>
+                <activeByDefault>true</activeByDefault>
+            </activation>
             <modules>
                 <module>oo-equivalence</module>
                 <module>oo-tests</module>