#!/bin/sh
# DF-0835 run — exercise the F_RDLCK path on smbfs.
#
# This trigger needs a file on a mounted smbfs share to fully exercise the
# buggy path.  Without an SMB server (the audit guest has none) the trigger
# validates the fcntl syscall surface and documents the call; the PRIMARY
# evidence is the deterministic source trace in VERDICT.md.
#
# Usage: ./run.sh [file-on-smbfs]
#   default file: /mnt/smbfs/testfile
set -e
cd "$(dirname "$0")"
FILE="${1:-/mnt/smbfs/testfile}"
echo "+ ./trigger $FILE"
./trigger "$FILE" 2>&1
echo "RUN_EXIT=$?"