#!/bin/sh
# DF-5724 build
set -e
cd "$(dirname "$0")"
#!/bin/sh
# DF-5724 — no compilation; the "build" is the rig + (optionally) the fixed kernel.
set -eu
cd "$(dirname "$0")"
./serial_vm.sh up
echo "guest up; to (re)build the fixed kernel:"
echo "  scp -F ../../../dfbsd-qemu/config fix.diff dfbsd:/tmp/fix.diff"
echo "  ssh -F ../../../dfbsd-qemu/config dfbsd 'cd /usr/src && patch -p1 -N < /tmp/fix.diff'"
echo "  ssh -F ../../../dfbsd-qemu/config dfbsd 'sh -c \"cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC && make installkernel\"'"
echo "  (reboot the guest, then run ./run.sh again — baseline vs patched identical procedure)"