#!/bin/sh
# DF-5478 build
set -e
cd "$(dirname "$0")"
ssh to guest: cc -O2 -o df5478_wrap df5478_wrap.c (userspace model of the verbatim guard arithmetic)