diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 2000-01-03 09:59:37 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 2000-01-03 09:59:37 +0000 |
| commit | e621ac22e98ec55fc87f434298ed31ad02a46907 (patch) | |
| tree | cc6f692255e46cb00a6c871f03e7e3af986e5bfa /release | |
| parent | 5fd0a3d5ae6e017a7f761753d1552cc0657c8d1f (diff) | |
Notes
Diffstat (limited to 'release')
| -rw-r--r-- | release/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 7468bcaccf02..a2b6e79f0eaf 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} # |