aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-12-31 17:14:40 -0500
committerBruce Hill <bruce@bruce-hill.com>2025-12-31 17:14:40 -0500
commitb7ab1953034061d97d527a9bd7561e900d73590d (patch)
treef6c064172a31e7284c588dedf398c996dd6463df
parentebf1d72462d6eda772eaff6409e68a1a51eff005 (diff)
Unstrip
-rw-r--r--Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index bd690c18..71a692d1 100644
--- a/Makefile
+++ b/Makefile
@@ -141,10 +141,6 @@ $(BUILD_DIR)/bin/$(EXE_FILE): $(STDLIB_OBJS) $(COMPILER_OBJS) build/gc/lib/libgc
$(BUILD_DIR)/lib/$(AR_FILE): $(STDLIB_OBJS) build/gc/lib/libgc.a build/unistring/lib/libunistring.a build/gmp/lib/libgmp.a | $(BUILD_DIR)/lib
$(CC) -no-pie -r -nostdlib $^ -o libtomo.o
- strip --strip-all --strip-unneeded --remove-section=.comment \
- --remove-section=.note --remove-section=.note.gnu.build-id \
- --remove-section=.eh_frame --remove-section=.eh_frame_hdr \
- --remove-section=.gnu_debuglink libtomo.o
ar rcs $@ libtomo.o
rm -f libtomo.o