#!/bin/sh
# DF-5718 build
set -e
cd "$(dirname "$0")"
copy overlap_rig.c wrestrict_shim.c build.sh run.sh to /tmp/DF-5718/ on the guest; sh build.sh