#!/bin/sh
# DF-0918 build:
#   harness         — UNFIXED model (reproduces the NULL-ohd primitive)
#   harness_fixed   — FIXED model (applies fix.diff's dead-recheck-after-replied)
#   fused0918       — live FUSE race daemon (run as root)
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -o harness harness.c -lpthread"
cc -O2 -o harness harness.c -lpthread
echo "+ cc -O2 -DFIXED -o harness_fixed harness.c -lpthread"
cc -O2 -DFIXED -o harness_fixed harness.c -lpthread
echo "+ cc -O2 -pthread -o fused0918 fused0918.c"
cc -O2 -pthread -o fused0918 fused0918.c
echo "BUILD_EXIT=0"
ls -l harness harness_fixed fused0918