diff options
| author | hathach <[email protected]> | 2023-03-17 17:01:56 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2023-03-17 17:01:56 +0700 |
| commit | a4b17483b9e7cb5f73ec1b64cdd41987743ef4da (patch) | |
| tree | 0da8939f31ed841d16578e232d94e0c03bb6aeba /tools | |
| parent | 2e5f649fd3ba3e0a17bb6007f773461bdc0e82fb (diff) | |
fix ci build with fomu
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/get_deps.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/get_deps.py b/tools/get_deps.py index 24e5f383a..574e5d089 100644 --- a/tools/get_deps.py +++ b/tools/get_deps.py @@ -104,9 +104,6 @@ def get_a_dep(d): if __name__ == "__main__": - if len(sys.argv) <= 1: - sys.exit(1) - status = 0 deps = list(deps_mandatory.keys()) + sys.argv[1:] with Pool() as pool: |