#!/bin/sh
# DF-0070 PoC build -- exact build invocation used during verification.
# Builds the malicious-checkpoint generator + inline trigger.
set -e
cd "$(dirname "$0")"
echo "+ cc -o df0070 df0070.c"
cc -o df0070 df0070.c
echo "BUILD_OK: df0070"