#!/bin/sh
# DF-5716 build
set -e
cd "$(dirname "$0")"
sh build.sh  (guest root; guest sources at /usr/src/sys, override S=...)