#!/bin/sh
# DF-0798 PoC build script.
# Compiles the byte-patching helper used by run.sh.
set -e
cd "$(dirname "$0")"
cc -O -o patch_btree_root patch_btree_root.c
echo "BUILD_OK: patch_btree_root"
ls -l patch_btree_root