diff --git a/tools/grab-solr.sh b/tools/grab-solr.sh index 91ecc38e..837f363b 100755 --- a/tools/grab-solr.sh +++ b/tools/grab-solr.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh # # Script to grab Solr and embed in priv dir. This script assumes it is # being called from root dir or tools dir. @@ -38,12 +38,14 @@ download() wget --no-check-certificate --progress=dot:mega $1 elif which curl > /dev/null; then curl --insecure --progress-bar -O $1 + elif which fetch > /dev/null: then + fetch --no-verify-peer $1 fi } get_solr() { - if [[ -z ${SOLR_PKG_DIR+x} ]] + if [ -z ${SOLR_PKG_DIR+x} ] then if [ -e $TMP_FILE ]; then echo "Using cached copy of Solr $TMP_FILE"