#!/bin/sh
set -e
cd "$(dirname "$0")"
echo "DF-0239: no binary to build (source-level: resume_kproc is declared but undefined)."
echo "Verifying symbol absence in the running kernel:"
if [ -f /boot/kernel/kernel ]; then nm /boot/kernel/kernel 2>/dev/null | grep -w resume_kproc || echo "  resume_kproc: NOT PRESENT in kernel symbol table (confirms missing impl)."; fi