DragonFlyBSD Kernel Audit
DF-0831 / build.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-0831 build (host-side): generate the crafted UDF image + compile the harness.
# The DragonFly guest has no python3, so the image is generated here and copied
# to the guest; the harness is self-contained C and can build on either.
set -e
cd "$(dirname "$0")"
echo ">> python3 craft_img.py df0831.udf"
python3 craft_img.py df0831.udf
echo ">> cc -O2 -Wall -o harness harness.c"
cc -O2 -Wall -o harness harness.c
echo "BUILD_EXIT=0"
ls -l df0831.udf harness