#!/bin/sh
# DF-1044 — build the patched busdma_machdep.c against the vkernel64 kernel env
# to confirm the fix compiles cleanly with -Werror.
#
# This runs IN-GUEST (requires /usr/src + warm /usr/obj/usr/src/sys/VKERNEL64).
# Apply findings/poc/DF-1044/fix.diff first, then run this.
set -e
cd /usr/obj/usr/src/sys/VKERNEL64
rm -f busdma_machdep.o
make busdma_machdep.o
test -f busdma_machdep.o && echo "DF1044_FIX_COMPILE_OK busdma_machdep.o present"