diff --git a/tools/strip_binaries.py b/tools/strip_binaries.py index 38b1031..3e73c00 100755 --- a/tools/strip_binaries.py +++ b/tools/strip_binaries.py @@ -125,6 +125,10 @@ def generate_version(part_src_dir = None) -> str: debugpath = os.path.join(debugroot, buildid[:2]) debugname = os.path.join(debugpath, f"{buildid[2:]}.debug") + if os.path.exists(debugname): + print(f"Debug symbols file {debugname} already exists, skipping.") + continue + print(f"Extracting symbols from {fullpath} into {debugname}") try: os.makedirs(debugpath)