From d705b828e2da1eeaceddf6f504cb12778b68a63f Mon Sep 17 00:00:00 2001 From: HiFiPHile Date: Wed, 2 Sep 2026 15:34:10 +0200 Subject: fix issue on existing dependency directory without .git Signed-off-by: HiFiPHile --- tools/get_deps.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'tools') diff --git a/tools/get_deps.py b/tools/get_deps.py index 12bec4861..4668dac3b 100755 --- a/tools/get_deps.py +++ b/tools/get_deps.py @@ -342,9 +342,10 @@ def get_a_dep(d): p = Path(TOP / d) git_cmd = f"git -C {p}" - # Init git deps if not existed - if not p.exists(): - p.mkdir(parents=True) + # Init git deps if not initialized. Checking only p.exists() lets git -C walk + # up to TinyUSB's repository when an empty dependency directory is present. + if not (p / '.git').exists(): + p.mkdir(parents=True, exist_ok=True) run_cmd(f"{git_cmd} init") run_cmd(f"{git_cmd} remote add origin {url}") head = None -- cgit v1.3.1