#!/bin/sh
# DF-2321 build
set -e
cd "$(dirname "$0")"
sh build.sh (userspace verbatim rig, extract.sh sha-gated)