#!/bin/sh
# DF-0393 harness build — two flavors (silent OOB + INVARIANTS-trap)
#   harness       : no assertions  -> silent OOB write (NO_INVARIANTS analog)
#   harness_inv   : INVARIANTS     -> KASSERT-style trap before the write
set -e
cd "$(dirname "$0")"
echo "[*] Building harness (silent OOB / NO_INVARIANTS analog)..."
cc -O2 -Wall -Wextra -o harness harness.c
echo "[*] Building harness_inv (INVARIANTS-trap analog)..."
cc -O2 -Wall -Wextra -DINVARIANTS -o harness_inv harness.c
echo "[+] Built: harness harness_inv"
ls -l harness harness_inv