From ebe3cedca78d107e90bb26ab32ef33fb784c180e Mon Sep 17 00:00:00 2001 From: Alexandre Date: Thu, 13 Feb 2025 08:22:31 +0100 Subject: [PATCH] Skip generated .debug files from extracting/stripping again --- tools/strip_binaries.py | 4 ++++ 1 file changed, 4 insertions(+) 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)