From 0a007e03a9dc8796e997f93fd7fece353df8d6ee Mon Sep 17 00:00:00 2001 From: Josef Karthauser Date: Thu, 2 Nov 2000 01:57:23 +0000 Subject: [PATCH] Copy the built kernel from the right place. (Forgotten in the last commit.) --- release/picobsd/build/stage1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release/picobsd/build/stage1 b/release/picobsd/build/stage1 index 2aae87ed742..7fb2f5185ed 100755 --- a/release/picobsd/build/stage1 +++ b/release/picobsd/build/stage1 @@ -165,7 +165,7 @@ populate_mfs() { do_kernel() { echo "-> Preparing kernel..." (cd ../${TYPE}; make -v -f ${BUILDDIR}/Makefile.conf ) - cp -p ${SRC}/sys/compile/PICOBSD${suffix}/kernel kernel || \ + cp -p ${OBJ}/${SRC}/sys/PICOBSD${suffix}/kernel kernel || \ fail $? missing_kernel strip kernel strip --remove-section=.note --remove-section=.comment kernel