#!/usr/bin/env bash
# tools/ghidra/apply-names: see tools/ghidra/README.md and tools/ghidra/driver.py --help.
set -euo pipefail
exec "$(dirname "${BASH_SOURCE[0]}")/launch.sh" apply-names "$@"
