DragonFlyBSD Kernel Audit
DF-0596 / build.sh
← back to finding ↓ download raw
1
2
3
4
5
6
7
8
#!/bin/sh
# DF-0596 build: compile the race harness
set -e
cd "$(dirname "$0")"
cc -O2 -lpthread -o race_harness race_harness.c
cc -O0 -lpthread -o race_harness_o0 race_harness.c
cc -O0 -lpthread -o race_harness_fixed race_harness_fixed.c
echo "Build complete: race_harness, race_harness_o0, race_harness_fixed"