Merge pull request #2289 from OpenRefine/thadguidry-patch-4

Inform user about download of Maven starting
2020-01-16 11:04:46 -06:00 · 2020-01-16 11:04:46 -06:00 · 5cf332c981
commit 5cf332c981
parent 2e686987bd 0d9e1caf1d
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -315,6 +315,7 @@ mvn_prepare() {
        if [ -z "$MVN_HOME" ] ; then
            cd $REFINE_TOOLS_DIR
                if [ ! -f "$MVN_FILE" ] ; then
+                    echo "\nCould not find Maven locally, starting download for Maven ..."
                    download $MVN_URL $MVN_FILE
                fi
                if [ ! -d "$MVN_DIR" ] ; then