diff options
| author | hathach <[email protected]> | 2023-12-15 18:08:19 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2023-12-15 18:08:19 +0700 |
| commit | 8633a2643a800e55aaa09e64779a383c59795cc2 (patch) | |
| tree | bcb779705cd8bcc00d3e7e809d7390331c234320 /tools | |
| parent | 17a0ce655bab4413928404ce7dc4f968738bfcf6 (diff) | |
update h5 build make/cmake
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/get_deps.py | 12 |
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 |
