#!/bin/sh
# DF-5704 build
set -e
cd "$(dirname "$0")"
sh build.sh  (guest root, /tmp/df5704: same-source libprop rig + harness)