From df4f41de2649b8d897aa756532dc8d003dce96a8 Mon Sep 17 00:00:00 2001 From: Mc-muffin <8714476+Mc-muffin@users.noreply.github.com> Date: Wed, 29 Jul 2026 13:18:50 -0500 Subject: [PATCH] Skip elf_header in configure --- configure.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/configure.py b/configure.py index c38677c..6b1b471 100755 --- a/configure.py +++ b/configure.py @@ -197,6 +197,9 @@ def build_stuff( object_strs = [str(obj) for obj in object_paths] for object_path in object_paths: + if object_path.name == "elf_header.s.o": + continue + if object_path.suffix == ".o": built_objects.add(object_path)