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