#!/bin/sh
# DF-2343 build
set -e
cd "$(dirname "$0")"
sh prep.sh && sh build.sh   (guest /root/umcs; make -j6 nativekernel KERNCONF=UMCSH; for the panic variant set UMCSH_VERBATIM_CODEGEN_O0=1 in /usr/src/sys/bus/u4b/serial/umcs_harness.c and rebuild)