9 lines
234 B
Bash
Executable File
9 lines
234 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
span_root=$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)
|
|
if [[ ! -x "$span_root/.build/span" ]]; then
|
|
printf '%s\n' 'build span first with make' >&2
|
|
exit 1
|
|
fi
|
|
exec "$span_root/.build/span" "$@"
|