use property-based profile activation

the <activeByDefault> activation gets disabled as soon as any other profile is selected. Therefore, use the previous property-based activation as we only need the profile encapsulation to disable it during releases.
LearnLib · Oct 28, 2023 · 010b352 · 010b352
1 parent a376811
commit 010b352
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -1280,7 +1280,10 @@ limitations under the License.
             <id>examples</id>
             <!-- define in a module so that we can disable the profile during a release -->
             <activation>
-                <activeByDefault>true</activeByDefault>
+                <property>
+                    <name>learnlib.release</name>
+                    <value>!true</value>
+                </property>
             </activation>
             <modules>
                 <module>examples</module>