DragonFlyBSD Kernel Audit
DF-0803 / build.sh
← back to finding ↓ download raw
1
2
3
4
5
6
7
8
#!/bin/sh
# DF-0803 — build the deterministic arithmetic harness (no kernel needed).
# Run on the DragonFly guest (or any Unix with cc).
set -e
cd "$(dirname "$0")"
cc -O2 -Wall -o harness harness.c
echo "BUILD_EXIT=$?"
ls -l harness