summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorhathach <[email protected]>2023-12-15 18:08:19 +0700
committerhathach <[email protected]>2023-12-15 18:08:19 +0700
commit8633a2643a800e55aaa09e64779a383c59795cc2 (patch)
treebcb779705cd8bcc00d3e7e809d7390331c234320 /tools
parent17a0ce655bab4413928404ce7dc4f968738bfcf6 (diff)
update h5 build make/cmake
Diffstat (limited to 'tools')
-rw-r--r--tools/get_deps.py12
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/get_deps.py b/tools/get_deps.py
index 38ff81412..86ffdc5c7 100644
--- a/tools/get_deps.py
+++ b/tools/get_deps.py
@@ -210,16 +210,16 @@ def get_a_dep(d):
# Init git deps if not existed
if not p.exists():
p.mkdir(parents=True)
- run_cmd(f"git -C {p} init")
- run_cmd(f"git -C {p} remote add origin {url}")
+ run_cmd(f"{git_cmd} init")
+ run_cmd(f"{git_cmd} remote add origin {url}")
# Check if commit is already fetched
- result = run_cmd(f"git -C {p} rev-parse HEAD")
+ result = run_cmd(f"{git_cmd} rev-parse HEAD")
head = result.stdout.decode("utf-8").splitlines()[0]
- run_cmd(f"git -C {p} reset --hard")
+ run_cmd(f"{git_cmd} reset --hard")
if commit != head:
- run_cmd(f"git -C {p} fetch --depth 1 origin {commit}")
- run_cmd(f"git -C {p} checkout FETCH_HEAD")
+ run_cmd(f"{git_cmd} fetch --depth 1 origin {commit}")
+ run_cmd(f"{git_cmd} checkout FETCH_HEAD")
return 0