#!/bin/sh
# DF-3011 guest-side build (run as root on the dfbsd guest).
# NOTE: -I points ONLY at the hammer dir so the kernel tree does not
# shadow userland <stdint.h>/<sys/types.h>.
set -e
cd /root
cc -O -o deepforge deepforge.c icrc32.c -I/usr/src/sys/vfs/hammer 2>&1
echo BUILD_OK