#!/usr/bin/env bash
# rmtool.sh - build-if-needed wrapper for the Open-IOV rmtool RM oracle.
# Read-only tool; see ../docs/17-RM-HARNESS.md for the safety contract.
set -euo pipefail
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
ROOT="$(cd "$HERE/../../.." && pwd)"
BIN="$ROOT/tools/rmtool/rmtool"
if [[ ! -x "$BIN" ]]; then
	make -C "$ROOT/tools/rmtool" >&2
fi
exec "$BIN" "$@"