Lines Matching refs:conf
23 # Makefile.conf Makefile used to build the kernel
32 # crunch.conf crunchgen configuration
246 [ -d $i -a -f $i/crunch.conf ] || continue
333 E "Edit crunch.conf file" \
345 if [ -d $i -a -f $i/PICOBSD -a -f $i/crunch.conf ]; then
356 E) ${EDITOR} ${MY_TREE}/crunch.conf ;;
440 -v -f ${PICO_TREE}/build/Makefile.conf ) || \
677 a=${BUILDDIR}/crunch1.conf
680 -v -f ${PICO_TREE}/build/Makefile.conf ${BUILDDIR}/crunch.mk )
887 # XXX loader.conf does not work unless we also load the .4th files
888 # echo "hint.acpi.0.disabled=\"1\"" > ${dst}/boot/loader.conf
889 # echo "console=\"comconsole\"" >> ${dst}/boot/loader.conf
892 cp ${MY_TREE}/floppy.tree/boot/loader.conf ${dst}/boot || true