#!/bin/sh
# DF-3231 build (see README.md; host/guest split noted inline)
set -e
cd "$(dirname "$0")"
true