Update build-all.py - reset --hard before checkout

This commit is contained in:
Thomas Krijnen
2024-09-23 09:16:24 +02:00
committed by GitHub
parent 4c048e4695
commit 154059126c
+1
View File
@@ -351,6 +351,7 @@ def git_clone_or_pull_repository(clone_url, target_dir, revision=None):
run([git, "pull", clone_url], cwd=target_dir)
if revision != None:
run([git, "reset", "--hard"], cwd=target_dir)
run([git, "fetch", "--all"], cwd=target_dir)
run([git, "checkout", revision], cwd=target_dir)