3 files changed, 2 insertions, 10 deletions
diff --git a/pom.xml b/pom.xml
index 6b151a1bf71..641afd09fc1 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1255,14 +1255,6 @@
   </developers>
 
   <profiles>
-
-    <profile>
-      <id>dev</id>
-      <properties>
-        <skipSanityChecks>true</skipSanityChecks>
-      </properties>
-    </profile>
-
     <profile>
       <id>release</id>
       <build>
diff --git a/quick-build.bat b/quick-build.bat
index d60c0688b92..8cbe98f2a02 100644
--- a/quick-build.bat
+++ b/quick-build.bat
@@ -1,2 +1,2 @@
 set MAVEN_OPTS=-Xmx256m
-mvn clean install -Dtest=false -DfailIfNoTests=false -Pdev %*
+mvn clean install -Dtest=false -DfailIfNoTests=false %*
diff --git a/quick-build.sh b/quick-build.sh
index 151afd04bce..c8d443243b7 100755
--- a/quick-build.sh
+++ b/quick-build.sh
@@ -12,4 +12,4 @@ echo ''
 echo '-------------------------------------------------'
 
 # it is recommended to use maven 3 for faster builds
-mvn clean install -Dtest=false -DfailIfNoTests=false -Pdev $*
+mvn clean install -Dtest=false -DfailIfNoTests=false $*