#!/bin/sh
# DF-0014 PoC build script.
# Builds the race-trigger PoC for the enterpgrp() lwkt_reltoken-on-unheld-token
# claim.  Result: FALSE POSITIVE (error path unreachable — see VERDICT.md).
set -e
cd "$(dirname "$0")"
echo "[build] cc -O2 -o setpgid_panic setpgid_panic.c"
cc -O2 -o setpgid_panic setpgid_panic.c
echo "[build] done: $(ls -l setpgid_panic)"