From 4f73b149bde5b17d335edec139f22e1162518bce Mon Sep 17 00:00:00 2001
From: Stephane Nicoll <snicoll@pivotal.io>
Date: Tue, 31 Jul 2018 18:12:46 +0200
Subject: [PATCH] Add missing profile

---
 pom.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/pom.xml b/pom.xml
index 2e4372ae..2c5d55fb 100644
--- 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>