#!/bin/sh
# DF-0047 run: the race is only reachable from an interruptible NFS client
# operation (nfs_socket.c mtx_lock_ex(... PCATCH ...)) and is a
# non-deterministic multi-instruction window; it cannot be reproduced on the
# audit guest (no reachable NFS server). See trigger_stub.c for the exact
# reproduction recipe on a host that has an NFS export.
cd "$(dirname "$0")"
./trigger_stub
echo "rc=$? (stub is a no-op on this guest; see VERDICT.md)"