#!/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"