#!/bin/sh
# DF-0877 — build the deterministic C harness on the guest.
# The harness transcribes ext2_dx_csum/ext2_dx_csum_verify
# (sys/vfs/ext2fs/ext2_csum.c:240-293) against a poison-padded buffer
# and proves the OOB read length is 524312 bytes when h_entries_num=65535.
#
# Usage: ./build.sh
set -e
cd "$(dirname "$0")"
cc -O2 -o harness harness.c
echo "BUILD_OK: harness"