From 1cf836dec09ccd312fa8f9a783a6c00d5827acd9 Mon Sep 17 00:00:00 2001 From: DvirDukhan Date: Sun, 21 Feb 2021 15:34:32 +0200 Subject: [PATCH] Merge pull request #611 from RedisAI/dlpack_version dlpack v0.3 --- get_deps.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/get_deps.sh b/get_deps.sh index 89ea86369..e948fe2b1 100755 --- a/get_deps.sh +++ b/get_deps.sh @@ -69,13 +69,13 @@ MKL=mkl ONNXRUNTIME=onnxruntime ######################################################################################## DLPACK - +DLPACK_VERSION="v0.3" if [[ $WITH_DLPACK != 0 ]]; then [[ $FORCE == 1 ]] && rm -rf $DLPACK if [[ ! -d $DLPACK ]]; then echo "Cloning dlpack ..." - git clone --depth 1 https://github.com/dmlc/dlpack.git $DLPACK + git clone --depth 1 --branch $DLPACK_VERSION https://github.com/dmlc/dlpack.git $DLPACK echo "Done." else echo "dlpack is in place."