#!/bin/sh
# DF-0594 — build the two code-level harnesses.
#   tkip_harness       : INVARIANTS build (default X86_64_GENERIC) -> KASSERT panic
#   tkip_harness_noinv : production build (KASSERT compiled out)   -> OOB read SIGSEGV
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -Wall -o tkip_harness tkip_harness.c"
cc -O2 -Wall -o tkip_harness tkip_harness.c
echo "+ cc -O2 -Wall -DNO_INVARIANTS -o tkip_harness_noinv tkip_harness.c"
cc -O2 -Wall -DNO_INVARIANTS -o tkip_harness_noinv tkip_harness.c
echo "BUILD_EXIT=$?"
ls -l tkip_harness tkip_harness_noinv