#!/bin/sh
# DF-0797 build script.
set -e
cd "$(dirname "$0")"
echo "[*] building craft_img (volume-header vol_no patcher) ..."
cc -O2 -o craft_img craft_img.c
echo "[*] building harness (deterministic OOB-write proof) ..."
cc -O2 -o harness harness.c
echo "[+] build OK"
ls -l craft_img harness