Update build_haven.sh

This commit is contained in:
Omar Hatem 2023-08-29 02:06:28 +03:00 committed by GitHub
parent ca0967c1b5
commit 9261d410fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,6 +5,7 @@ HAVEN_VERSION=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 checkout ${HAVEN_VERSION}
cd $HAVEN_SRC_DIR
git submodule init