aquarium: fetch origin before building repos

revault · Dec 21, 2021 · 43c728f · 43c728f
1 parent cc15644
commit 43c728f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/aquarium.py b/aquarium.py
@@ -68,7 +68,8 @@ def build_src(src_dir, version, git_url):
             os.makedirs(SRC_DIR)
         subprocess.check_call(["git", "-C", f"{SRC_DIR}", "clone", git_url])
 
-    subprocess.check_call(["git", "-C", f"{src_dir}", "checkout", version])
+    subprocess.check_call(["git", "-C", f"{src_dir}", "fetch", "origin", version])
+    subprocess.check_call(["git", "-C", f"{src_dir}", "checkout", f"origin/{version}"])
     subprocess.check_call(
         ["cargo", "build", "--manifest-path", f"{src_dir}/Cargo.toml"]
     )