#!/bin/sh
# DF-4977 build
set -e
cd "$(dirname "$0")"
./build.sh (documents: no build — hardware-gated)