diff --git a/numbuf/thirdparty/download_thirdparty.sh b/numbuf/thirdparty/download_thirdparty.sh index b9fdc1c1e..bf6e5e545 100755 --- a/numbuf/thirdparty/download_thirdparty.sh +++ b/numbuf/thirdparty/download_thirdparty.sh @@ -7,6 +7,8 @@ set -e TP_DIR=$(cd "$(dirname "${BASH_SOURCE:-$0}")"; pwd) -git clone https://github.com/pcmoritz/arrow.git "$TP_DIR/arrow" +if [ ! -d $TP_DIR/arrow ]; then + git clone https://github.com/pcmoritz/arrow.git "$TP_DIR/arrow" +fi cd "$TP_DIR/arrow" git checkout c88bd70c13cf16c07b840623cb466aa98d535be0