1 files changed, 3 insertions, 3 deletions

diff --git a/push.sh b/push.sh
index 8268fa99eac..ff7feb0052c 100755
--- a/push.sh
+++ b/push.sh
@@ -38,8 +38,8 @@ git clone --single-branch -slb "${BRANCH}" . ../privatebuild
 cd ../privatebuild
 
 # Build with maven
-set MAVEN_OPTS=-Xmx1G
-mvn -T4 install -Pdev -DskipSanityChecks=false
+set MAVEN_OPTS=-Xmx256m
+mvn -T4 clean install
 if [ $? -ne 0 ]; then
 exit_ko "Unable to build"
 fi
@@ -52,4 +52,4 @@ fi
 
 # Update working directory
 cd ${LOCATION} && git fetch ${REMOTE}
-exit_ok "Yet another successful build!"
\ No newline at end of file
+exit_ok "Yet another successful build!"