3c3
< # $FreeBSD: head/release/picobsd/build/picobsd 76459 2001-05-11 07:39:40Z luigi $
---
> # $FreeBSD: head/release/picobsd/build/picobsd 78494 2001-06-20 14:16:48Z luigi $
14c14,15
< # done... so
---
> # done. The picobsd(8) manpage might be of some help, but code and docs
> # tend to lose sync over time...
39a41,44
> # This must be done after option parsing so user-specified values
> # are used to compute dependent ones. Make sure to use the
> # VAR=${VAR:-value} construct for those variables which can
> # be overridden from the command line.
44,45c49,50
< # can boot from the image via diskless.
< INCLUDE_FLOPPY_IN_MFS="yes"
---
> # can boot from the image via diskless. Default to yes.
> INCLUDE_FLOPPY_IN_MFS=${INCLUDE_FLOPPY_IN_MFS:-yes}
56c61
< PICO_TREE=${PICO_TREE:-/usr/src/release/picobsd}
---
> PICO_TREE=${PICO_TREE:-${SRC}/release/picobsd}
72c77
< SITE=
---
> SITE=${SITE:-}
84a90
> makeopts=${MAKEOPTS:--s} # be silent by default
106a113
> log "set_type: checking $i"
362c369
< log "---> Preparing kernel "$name" in $MY_TREE"
---
> log "---> Preparing kernel \"$name\" in $MY_TREE"
498c505
< make -s -f ${BUILDDIR}/crunch.mk
---
> make ${makeopts} -f ${BUILDDIR}/crunch.mk
653c660,661
< init_vars
---
> verbose=""
> TAR_VERBOSE=""
656a665,679
> --src) # set the source path instead of /usr/src
> SRC=$2
> # Optionally creates include directory, and set cflags
> # accordingly. Note that you will still need the right
> # libraries...
>
> #i=${SRC}/usr/include # the include directory...
> #if [ \! -d $i ] ; then
> # echo "Create \"$i\" as include directory"
> # mkdir -p $i
> # (cd ${SRC}; DESTDIR=${SRC} make includes )
> #fi
> #CFLAGS="-nostdinc -I$i" ; export CFLAGS
> shift
> ;;
670a694
> makeopts="-d l" # be verbose
678a703
> init_vars