#!/bin/sh
# DF-0598 — build the code-level proof harness.
# Plain cc; no kernel headers required (the harness self-contains the
# minimal smb_connobj/smb_vc SLIST replicate of smb_sm_lookupint's logic).
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -Wall -Wextra -o leak leak.c"
cc -O2 -Wall -Wextra -o leak leak.c
echo "BUILD_EXIT=$?"
ls -l leak