diff options
-rw-r--r-- | release/picobsd/build/Makefile.crunch | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/release/picobsd/build/Makefile.crunch b/release/picobsd/build/Makefile.crunch index 53afe4f1c47e..0879ef685e85 100644 --- a/release/picobsd/build/Makefile.crunch +++ b/release/picobsd/build/Makefile.crunch @@ -8,12 +8,11 @@ all: crunch crunch: @cat crunch.conf|sed -e "s@/usr/src@${SRC}@" >crunch1.conf @( if [ -f crunch.inc ] ; then \ - crunchgen -o -h ./crunch.inc ./crunch1.conf ; \ + crunchgen -p ${PICO_OBJ} -o -h ./crunch.inc ./crunch1.conf ; \ else \ - crunchgen -o ./crunch1.conf ; \ + crunchgen -p ${PICO_OBJ} -o ./crunch1.conf ; \ fi ) - @perl -pi -e 's#${OBJ}#${PICO_OBJ}#g' crunch1.mk ; - @env MAKEOBJDIRPREFIX=${PICO_OBJ} ${MAKE} -f crunch1.mk all + @${MAKE} -f crunch1.mk strip --remove-section=.note --remove-section=.comment crunch1 |