#!/bin/sh
# DF-2846 runner (host side). Boots nothing; guest must be up.
# Usage: ./run.sh
set -e
DIR=$(dirname "$0")
dfbsd-qemu/vm.sh run_root 'sh /root/df2846_check.sh' | tee "$DIR/run.log"
grep -q 'BUG REPRODUCED' "$DIR/run.log" && echo "DF-2846: reproduced (see run.log)"