diff options
author | jkh <jkh@FreeBSD.org> | 2000-01-03 09:59:37 +0000 |
---|---|---|
committer | jkh <jkh@FreeBSD.org> | 2000-01-03 09:59:37 +0000 |
commit | c9fa7d9f73de1b1add21e2fffc2cc66ed59a8289 (patch) | |
tree | 31eb413f8331305dc9bc7f413faa01f17e7a2257 /release/Makefile | |
parent | 1c3f38298615ed24def0defd16068447992d8a8f (diff) | |
download | FreeBSD-src-c9fa7d9f73de1b1add21e2fffc2cc66ed59a8289.zip FreeBSD-src-c9fa7d9f73de1b1add21e2fffc2cc66ed59a8289.tar.gz |
nuke debugging symbols from kern.flp kernels.
Diffstat (limited to 'release/Makefile')
-rw-r--r-- | release/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 7468bca..a2b6e79 100644 --- a/release/Makefile +++ b/release/Makefile @@ -706,6 +706,7 @@ doKERNEL: @cd ${.CURDIR}/../sys/compile/${KERNEL} && \ make depend && \ make ${KERNEL} && \ + strip --strip-debug ${KERNEL} && \ cp ${KERNEL} ${RD}/kernels/${KERNEL} # |