Update build_haven.sh

This commit is contained in:
Omar Hatem 2023-08-29 00:02:46 +03:00 committed by GitHub
parent 2c4e867bff
commit aab58ecd62
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,7 +5,7 @@ HAVEN_VERSION=tags/v3.0.7
HAVEN_SRC_DIR=${WORKDIR}/haven
git clone https://github.com/haven-protocol-org/haven-main.git ${HAVEN_SRC_DIR}
git fetch --all --tags --prune
git fetch --tags
git checkout ${HAVEN_VERSION}
cd $HAVEN_SRC_DIR
git submodule init