#!/bin/sh
# DF-5179 build
set -e
cd "$(dirname "$0")"
none (source-confirmed; no runnable artifact for a boot-config-gated path) — see ./build.sh