#!/bin/sh
# Build kernel B (stock + inject.diff + fix.diff) in the guest /usr/src.
set -e
cd /usr/src
grep -q df2644 sys/vfs/hammer2/hammer2_io.c || patch -p1 < /root/df2644/inject.diff
grep -q DF-2644 sys/vfs/hammer2/hammer2_flush.c || patch -p1 < /root/df2644/fix.diff
grep -c "DF-2644" sys/vfs/hammer2/hammer2_flush.c
make -j6 nativekernel KERNCONF=X86_64_GENERIC
make installkernel KERNCONF=X86_64_GENERIC
echo KERNEL_B_INSTALLED