Merge pull request #22882 from arjantijms/gf5build3

New infra - setting maven options
diff --git a/Jenkinsfile b/Jenkinsfile
index f427bca..760d148 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -182,6 +182,11 @@
         name: maven-repo-shared-storage
       - mountPath: "/home/jenkins/.m2/repository/org/glassfish/main"
         name: maven-repo-local-storage
+    env:
+      - name: "MAVEN_OPTS"
+        value: "-Duser.home=/home/jenkins"
+      - name: "MVN_EXTRA"
+        value: "--batch-mode -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn"
     resources:
       limits:
         memory: "7Gi"
diff --git a/gfbuild.sh b/gfbuild.sh
index be130de..55802b4 100755
--- a/gfbuild.sh
+++ b/gfbuild.sh
@@ -63,7 +63,7 @@
 }
 
 dev_build(){
-  mvn -U clean install -Dmaven.test.failure.ignore=true -Pstaging
+  mvn -U clean install -Dmaven.test.failure.ignore=true -Pstaging ${MVN_EXTRA}
 }
 
 build_re_dev(){