#!/bin/sh
# DF-0880 build
set -e
cd "$(dirname "$0")"
./build.sh   (host: generates df0880.udf; harness builds on guest: cc -O2 -Wall -o harness harness.c)