#!/bin/sh
# DF-DF-1268 trigger build. The trigger is a documentation stub; the cited
# code lives in the AMD GPU radeon/amdgpu driver (dev/drm/amd) which is
# NOT compiled into GENERIC and has no matching hardware on the audit
# guest, so the bug path is dead at runtime here (latent). The real
# deliverable is the source-level trace in VERDICT.md + fix.diff.
set -e
cc -o trigger trigger.c
echo "built trigger (documentation stub; bug path unreachable on this guest)"