#!/bin/sh
# DF-2429 build
set -e
cd "$(dirname "$0")"
./push_rig.sh (builds dfbt_rig.ko + dfbt_ctl on the guest, kldloads, primes production handler addresses, byte-verifies prologues)