#!/bin/sh
# DF-0018 build.sh -- builds the in-kernel harness that triggers the bug.
# Run inside the guest as root.
set -e
cd "$(dirname "$0")"
echo "cc -O2 -DKLD_MODULE harness.c ..." 1>&2
make 2>&1
echo "build.sh: produced df18_harness.ko"
ls -l df18_harness.ko