commit 88f3bf350c747da777c103580c4d1af9739d17a0
author HIGUCHI Yuta <y-higuchi@onlab.us> Thu Jun 20 10:37:47 2013 -0700
committer HIGUCHI Yuta <y-higuchi@onlab.us> Thu Jun 20 11:57:04 2013 -0700
tree 84c67023fb953d135f82ddcaecb7c59c2833f2f4
parent e937d35944f2ec55f5c80d3269db22bb27f87ca0

Download dependency when setup-local-maven.sh is run.
Let user specify maven option through env variable MVN

titan/gremlin.sh

diff --git a/titan/gremlin.sh b/titan/gremlin.sh
index aa9c513..e4895b0 100755
--- a/titan/gremlin.sh
+++ b/titan/gremlin.sh
@@ -1,8 +1,12 @@
 #!/bin/bash
 
+if [ -z "${MVN}" ]; then
+    MVN="mvn"
+fi
+
 ONOS_DIR="`dirname $0`/.."
 #CP=$( echo `dirname $0`/../lib/*.jar `dirname $0`/../lib/titan/*.jar . | sed 's/ /:/g')
-CP=`mvn -f ${ONOS_DIR}/pom.xml dependency:build-classpath -Dmdep.outputFile=/dev/stdout -l /dev/stderr`
+CP=`${MVN} -f ${ONOS_DIR}/pom.xml dependency:build-classpath -Dmdep.outputFile=/dev/stdout -l /dev/stderr`
 
 # Find Java 
 if [ "$JAVA_HOME" = "" ] ; then