#!/bin/sh
# DF-1311: the fix is applied to the GENERIC kernel (hptiop is statically linked).
# build.sh records how the single-fix kernel was produced. It is not meant to be
# re-run blindly from this folder (it needs the in-guest source tree); it
# documents the exact command used for the fix-validation build.
set -e
cat <<'INFO'
DF-1311 fix-validation build (performed on the guest, /usr/src):
  patch -p1 < fix.diff
  make -j6 nativekernel KERNCONF=X86_64_GENERIC
  cp /usr/obj/usr/src/sys/X86_64_GENERIC/kernel.stripped /boot/kernel/kernel
  cp /usr/obj/usr/src/sys/X86_64_GENERIC/kernel.debug      /boot/kernel/kernel.debug
  (reboot)
See fix_build.log for the full build output and VERDICT.md for the analysis.
INFO
echo "DF-1311: documented; see fix_build.log"