mirror of
https://github.com/freebsd/freebsd-src
synced 2024-09-30 13:44:55 +00:00
25 lines
439 B
Makefile
25 lines
439 B
Makefile
# $FreeBSD$
|
|
#
|
|
# Makefile for building PICOBSD kernels
|
|
|
|
SRC?=/usr/src
|
|
CONF?=$(SRC)/sys/i386/conf
|
|
|
|
CONFFILE=PICOBSD${suffix}
|
|
COMPILE=$(OBJ)/usr/src/sys/$(CONFFILE)
|
|
KERNFILE=$(COMPILE)/kernel
|
|
|
|
all: $(KERNFILE)
|
|
|
|
|
|
${CONF}/${CONFFILE}: PICOBSD
|
|
cp PICOBSD ${CONF}/${CONFFILE}
|
|
cp PICOBSD.hints ${CONF}/${CONFFILE}.hints
|
|
|
|
${COMPILE}: ${CONF}/${CONFFILE}
|
|
|
|
$(KERNFILE): ${COMPILE}
|
|
(cd ${SRC}; \
|
|
make buildkernel KERNEL=${CONFFILE} -DNO_MODULES)
|
|
|