try aliasing mvn

dnolen · dnolen · commit e21db0cd33dd · 2017-01-27T17:06:54.000-05:00
diff --git a/script/build b/script/build
@@ -8,6 +8,8 @@ set -ex
 cd `dirname $0`/..
 rm -rf target
 
+alias mvn=/var/lib/jenkins/tools/Maven_3.0.2/bin/mvn
+
 POM_TEMPLATE="pom.template.xml"
 POM_FILE="pom.xml"
 
