From f9c3864f1ecede3e871f4b56fb06e7d7c9b28e52 Mon Sep 17 00:00:00 2001
From: Oleg Nenashev <o.v.nenashev@gmail.com>
Date: Tue, 13 Nov 2018 11:52:15 +0100
Subject: [PATCH] Jenkinsfile: use standard infra.runMaven() command from the
 library

---
 Jenkinsfile | 16 ++--------------
 1 file changed, 2 insertions(+), 14 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 389cbc4b..eed35952 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,20 +21,8 @@ for (int i = 0; i < platforms.size(); ++i) {
                 }
 
                 stage('Build') {
-                    withEnv([
-                        "JAVA_HOME=${tool 'jdk8'}",
-                        "PATH+MVN=${tool 'mvn'}/bin",
-                        'PATH+JDK=$JAVA_HOME/bin',
-                    ]) {
-                        timeout(30) {
-                            String command = 'mvn --batch-mode clean install -Dmaven.test.failure.ignore=true'
-                            if (isUnix()) {
-                                sh command
-                            }
-                            else {
-                                bat command
-                            }
-                        }
+                    timeout(30) {
+                        infra.runMaven(['clean', 'install', '-Dmaven.test.failure.ignore=true'])
                     }
                 }