DF-0596 / build.sh
#!/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" |