#!/bin/sh
# DF-DF-2016 build verification: apply fix.diff + build the affected module with -Werror.
# This is a SOURCE-ONLY finding (HW-gated); there is no userspace PoC binary to build.
# To verify the fix compiles:
#   cd /usr/src/sys/dev/.../<module> && KCFLAGS=-Werror make
set -e
echo "DF-DF-2016: source-only confirmation; no userspace binary. See fix.diff + VERDICT.md."
echo "Fix verified by module build with -Werror (Phase 8)."