From 274212e760a25417a0f47e0fa4938a0a1f00819a Mon Sep 17 00:00:00 2001
From: Arun Thomas <arun@minix3.org>
Date: Thu, 16 Feb 2012 19:14:33 +0100
Subject: [PATCH] Strip only the image binaries

---
 tools/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/tools/Makefile b/tools/Makefile
index 097e99a2a..a2e397566 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -51,9 +51,7 @@ usage:
 all: services image
 
 image: includes services
-	cp ../kernel/kernel kernel
 	mkimage $(PROGRAMS)
-	strip -s ${KERNEL} ${PROGRAMS}
 
 # rebuild the program or system libraries
 includes:
@@ -92,7 +90,8 @@ hdboot: image
 	cp $$i $$newname;				\
 	[ -d /boot/image ] && ln -f $$newname /boot/`basename $$i` || true ;		\
 	done
-	cp kernel /boot/minix/.temp/
+	cp ../kernel/kernel /boot/minix/.temp/
+	strip -s /boot/minix/.temp/*
 	[ -d /boot/image ] && ln -f /boot/minix/.temp/kernel /boot/kernel || true
 	sh mkboot $@ minix
 	exec sh update_bootcfg.sh
-- 
2.44.0