Add missing profile

2026-02-26 13:43:15 +08:00 · 2018-07-31 18:12:46 +02:00
parent db5b9b9b9f
commit 4f73b149bd
1 changed files with 12 additions and 0 deletions
--- a/pom.xml
+++ b/pom.xml
@@ -36,6 +36,7 @@
 	</developers>

 	<properties>
+		<disable.checks>false</disable.checks>
 		<java.version>1.8</java.version>
 		<main.basedir>${basedir}</main.basedir>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -310,6 +311,17 @@
 				</pluginManagement>
 			</build>
 		</profile>
+		<profile>
+			<id>fast</id>
+			<activation>
+				<property>
+					<name>fast</name>
+				</property>
+			</activation>
+			<properties>
+				<disable.checks>true</disable.checks>
+			</properties>
+		</profile>
 	</profiles>

 </project>