mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-28 12:07:10 +01:00
22 lines
409 B
Makefile
22 lines
409 B
Makefile
# $FreeBSD$
|
|
#
|
|
# Makefile for building PICOBSD kernels
|
|
|
|
SRC?=/usr/src
|
|
CONF?=$(SRC)/sys/i386/conf
|
|
|
|
CONFFILE=PICOBSD${suffix}
|
|
COMPILE=$(SRC)/sys/compile/$(CONFFILE)
|
|
KERNFILE=$(COMPILE)/kernel
|
|
|
|
all: $(KERNFILE)
|
|
|
|
$(KERNFILE): PICOBSD
|
|
cat PICOBSD | grep -v "MFS_ROOT" > ${CONF}/${CONFFILE}
|
|
echo "options MFS_ROOT" >> ${CONF}/${CONFFILE}
|
|
(cd ${CONF}; \
|
|
config ${CONFFILE}; \
|
|
cd ${COMPILE}; \
|
|
make depend all)
|
|
|