#!/bin/sh
# DF-3865 build
set -e
cd "$(dirname "$0")"
./build.sh (static proof; grep of shim macros)