#!/bin/sh
# DF-1260 trigger build. The AIOGCAP handler is in the sound subsystem
# (dev/sound/pcm/dsp.c). sound.ko loads on the guest but no snd_* bridge
# attaches (no audio HW), so /dev/dsp cannot be opened and AIOGCAP is
# never reached. Source-level bug confirmed; see VERDICT.md.
set -e
cc -o trigger trigger.c
echo "built trigger"