#!/bin/sh
# DF-3568 build
set -e
cd "$(dirname "$0")"
in-guest: sh build.sh (-DNDEBUG = non-INVARIANTS production semantics)