Update checkout instruction in README

ucb-bar · May 22, 2023 · 2efd84a · 2efd84a
1 parent d48db37
commit 2efd84a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -39,7 +39,7 @@ source env.sh
 
 cd generators/gemmini
 git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
-git checkout dev && git pull origin dev
+git fetch && git checkout v0.7.1
 git submodule update --init --recursive
 
 make -C software/libgemmini install