diff options
| author | hathach <[email protected]> | 2023-03-11 08:54:51 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2023-03-11 08:54:51 +0700 |
| commit | e045995407e060800877d6a6421f83a413f9e084 (patch) | |
| tree | af20e07ef397b764dbf57ec4682d952044994b0c | |
| parent | 4065ca3fca00f0943fa97c42ea479d3d4892e599 (diff) | |
minor update get_deps
| -rw-r--r-- | tools/get_deps.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/get_deps.py b/tools/get_deps.py index 5c6bef389..3aa95ece5 100644 --- a/tools/get_deps.py +++ b/tools/get_deps.py @@ -79,8 +79,8 @@ def get_a_dep(d): # Init git deps if not existed if not p.exists(): p.mkdir(parents=True) - subprocess.run("{} init".format(git_cmd), shell=True) - subprocess.run("{} remote add origin {}".format(git_cmd, url), shell=True) + subprocess.run("{} init".format(git_cmd), shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) + subprocess.run("{} remote add origin {}".format(git_cmd, url), shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) # Check if commit is already fetched result = subprocess.run("{} rev-parse HEAD".format(git_cmd, commit), shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) @@ -88,7 +88,7 @@ def get_a_dep(d): if commit != head: subprocess.run("{} fetch --depth 1 origin {}".format(git_cmd, commit), shell=True) - subprocess.run("{} checkout FETCH_HEAD".format(git_cmd), shell=True) + subprocess.run("{} checkout FETCH_HEAD".format(git_cmd), shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) return 0 |
