#!/bin/sh
# DF-3135 build (see README.md; host/guest split noted inline)
set -e
cd "$(dirname "$0")"
n/a (dead code: no Makefile, not in sys/conf/files)