Inform user about download of Maven starting

This commit is contained in:
Thad Guidry 2020-01-16 10:23:38 -06:00 committed by GitHub
parent 2e686987bd
commit fe4a585cf3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1
refine
View File

@ -315,6 +315,7 @@ mvn_prepare() {
if [ -z "$MVN_HOME" ] ; then if [ -z "$MVN_HOME" ] ; then
cd $REFINE_TOOLS_DIR cd $REFINE_TOOLS_DIR
if [ ! -f "$MVN_FILE" ] ; then if [ ! -f "$MVN_FILE" ] ; then
echo "/nCould not find Maven locally, starting download for Maven..."
download $MVN_URL $MVN_FILE download $MVN_URL $MVN_FILE
fi fi
if [ ! -d "$MVN_DIR" ] ; then if [ ! -d "$MVN_DIR" ] ; then