From 5c1b29b9c77fbd4760f35507da3d2f548f4364bd Mon Sep 17 00:00:00 2001 From: Jan Stoess Date: Fri, 18 Nov 2011 10:55:13 +0100 Subject: [PATCH] When building grubdisk, use strip from toolchain --- user/util/grubdisk/Makefile.in | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/user/util/grubdisk/Makefile.in b/user/util/grubdisk/Makefile.in index 986c0606..3938c56b 100644 --- a/user/util/grubdisk/Makefile.in +++ b/user/util/grubdisk/Makefile.in @@ -35,11 +35,13 @@ top_srcdir= @top_srcdir@ top_builddir= @top_builddir@ APP=${top_builddir}/apps/bench/pingpong/pingpong - +STRIP= $(TOOLPREFIX)strip + include $(top_srcdir)/Mk/l4.base.mk do-all: bootdisk.img + bootdisk.img: grub.img mtoolsrc ${srcdir}/menu.lst ${top_builddir}/util/kickstart/kickstart ${top_builddir}/serv/sigma0/sigma0 \ ${APP} ${kerneldir}/${KERNEL} @# Create a disk image @@ -49,7 +51,7 @@ bootdisk.img: grub.img mtoolsrc ${srcdir}/menu.lst ${top_builddir}/util/kickstar dd if=grub.img of=bootdisk.img conv=notrunc > /dev/null #@ Strip and zip binaries cp -u ${top_builddir}/*/*/{kickstart,sigma0} ${kerneldir}/${KERNEL} ${APP} . || exit 0 - strip ${notdir ${APP}} sigma0 kickstart ${KERNEL} + $(STRIP) ${notdir ${APP}} sigma0 kickstart ${KERNEL} gzip -f ${notdir ${APP}} sigma0 kickstart ${KERNEL} cat ${srcdir}/menu.lst | sed -e "s/APP/${notdir ${APP}}/" > menu.lst @# Copy the binaries to it