DF-0754 / build.sh
#!/bin/sh # DF-0754 build: unpatched harness (proves manifestations 1 & 2) + fixed harness set -e cd "$(dirname "$0")" echo "=== Building unpatched harness (proves the bug) ===" cc -O2 -Wall -o harness harness.c echo "BUILD: harness exit=$?" echo "=== Building fixed harness (proves the fix) ===" cc -O2 -Wall -o harness_fixed harness_fixed.c echo "BUILD: harness_fixed exit=$?" echo "=== All builds done ===" ls -l harness harness_fixed 2>/dev/null |