#!/bin/sh
# build_kernel.sh -- build the FWH harness kernel in the guest.
# Prereq (done once by push_and_prep.sh):
#   /usr/src/sys/bus/firewire/fwharness.c + fwharness.h  (harness)
#   /usr/src/sys/conf/files       += fwharness.c optional fwharness
#   /usr/src/sys/config/FWH        = X86_64_GENERIC + device fwharness
set -e
cd /usr/src
make -j4 buildkernel KERNCONF=FWH
echo BUILD_KERNEL_OK