健壮性优化

2026-06-24 19:14:57 +08:00
parent 6f78990815
commit 9215896cea
3 changed files with 50 additions and 21 deletions
@@ -280,4 +280,18 @@
        </plugins>
    </build>

+    <profiles>
+        <profile>
+            <id>jdk17-home-env</id>
+            <activation>
+                <property>
+                    <name>env.JDK17_HOME</name>
+                </property>
+            </activation>
+            <properties>
+                <jdk17.home>${env.JDK17_HOME}</jdk17.home>
+            </properties>
+        </profile>
+    </profiles>
+
 </project>