#!/bin/sh
# DF-5696 build
set -e
cd "$(dirname "$0")"
sh build.sh (host) ; sh guest_build.sh (guest, /usr/src verbatim + sha pin 18620ff1...)