DF-0031 / build.sh
#!/bin/sh # DF-0031 build script — exact, runnable. # Builds the minimal trigger PoC (does NOT reach the bug path on default config; # see VERDICT.md for the reachability analysis). set -e cd "$(dirname "$0")" echo "+ cc -o pipe_leak pipe_leak.c" cc -o pipe_leak pipe_leak.c echo "BUILD_OK: ./pipe_leak" |