blob: 405a766fd25340bf455a961d8ce390d1325dd4bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/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" "$@"
|
