DragonFlyBSD Kernel Audit
DF-0754 / build.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-0754 build: unpatched harness (proves manifestations 1 & 2) + fixed harness
set -e
cd "$(dirname "$0")"

echo "=== Building unpatched harness (proves the bug) ==="
cc -O2 -Wall -o harness harness.c
echo "BUILD: harness  exit=$?"

echo "=== Building fixed harness (proves the fix) ==="
cc -O2 -Wall -o harness_fixed harness_fixed.c
echo "BUILD: harness_fixed  exit=$?"

echo "=== All builds done ==="
ls -l harness harness_fixed 2>/dev/null