#!/bin/sh
# DF-2832 build
set -e
cd "$(dirname "$0")"
guest: cc -O2 -o churn_open churn_open.c; cc -O2 -o dirty_writer dirty_writer.c (witness kernels: cp witness_kernel_*.c /usr/src/sys/kern/vfs_sync.c && make -j6 nativekernel && make installkernel && reboot)