#!/bin/sh
# DF-3219 build (see README.md; host/guest split noted inline)
set -e
cd "$(dirname "$0")"
n/a (dead code)