#!/bin/sh
# DF-0755 build: userspace harness (both variants) + kernel TCP stress trigger.
set -e
cc -O2 -pthread -o race_harness race_harness.c
cc -O2 -pthread -o race_harness_fixed race_harness_fixed.c
cc -O2 -pthread -o tcp_oob_trigger tcp_oob_trigger.c
cc -O2 -pthread -o tcp_oob_aggressive tcp_oob_aggressive.c
echo "built: race_harness race_harness_fixed tcp_oob_trigger tcp_oob_aggressive"