diff --git a/nix/build-all.py b/nix/build-all.py index a4b43935b7..211a03472d 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -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)