regen.sh: fetch remotes before checking out

haskellari · Jul 14, 2024 · 02b87b1 · 02b87b1
1 parent 4aa0d3a
commit 02b87b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/strict-containers/regen.sh b/strict-containers/regen.sh
@@ -9,7 +9,7 @@ shopt -s nullglob globstar
 ensure_checkout() {
 	local pkg="$1"
 	local ver="$2"
-	( cd ../contrib/"$pkg" && git checkout "$ver" )
+	( cd ../contrib/"$pkg" && git fetch --all --tags && git checkout "$ver" )
 	echo "  * $pkg $ver" >> "$VERSIONS_CABAL"
 }