Update build-all.py - fetch before checkout

2026-08-11 02:02:22 +00:00 · 2024-09-23 06:52:49 +02:00
parent 33d8ecdc8b
commit 4ce3413cdf
1 changed files with 1 additions and 0 deletions
@@ -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, "fetch", "--all"], cwd=target_dir)
        run([git, "checkout", revision], cwd=target_dir)