diff options
author | luigi <luigi@FreeBSD.org> | 2001-09-04 02:01:52 +0000 |
---|---|---|
committer | luigi <luigi@FreeBSD.org> | 2001-09-04 02:01:52 +0000 |
commit | 6a07ae7b3fd9d7aed0fc10d6a554a7109d355675 (patch) | |
tree | 599eef2483e74724b8bc60c079de405ff764d695 /release/picobsd/build/Makefile.conf | |
parent | 9d49b96aed1a36c4aa45ae57ba6bca43526a3007 (diff) | |
download | FreeBSD-src-6a07ae7b3fd9d7aed0fc10d6a554a7109d355675.zip FreeBSD-src-6a07ae7b3fd9d7aed0fc10d6a554a7109d355675.tar.gz |
Move commands to create stripped kernel into Makefile.conf,
so as to make the "picobsd" script less version-specific.
Improve handling of cross-builds (which requires creation of
includes and libraries for the new source tree).
The "picobsd" script will not probably work on -current because it still
uses 'vn' instead of 'md', but i am commiting it anyways to keep it
in sync with the version in -stable.
Diffstat (limited to 'release/picobsd/build/Makefile.conf')
-rw-r--r-- | release/picobsd/build/Makefile.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/release/picobsd/build/Makefile.conf b/release/picobsd/build/Makefile.conf index 5aa0006..1a352d3 100644 --- a/release/picobsd/build/Makefile.conf +++ b/release/picobsd/build/Makefile.conf @@ -17,6 +17,10 @@ CONFFILE=PICOBSD-${name} COMPILE=${CONF}/../compile/${CONFFILE} KERNFILE=${COMPILE}/kernel +${BUILDDIR}/kernel: ${KERNFILE} + cp -p ${.OODATE} ${.TARGET} + strip ${.TARGET} + strip --remove-section=.note --remove-section=.comment ${.TARGET} ${KERNFILE}: ${COMPILE} do_a_make_in_the_kernel_directory_anyways |