21 lines
425 B
Bash
21 lines
425 B
Bash
|
|
#!/bin/bash
|
||
|
|
# Generic runner for the tanka_shim
|
||
|
|
|
||
|
|
SHIM_PATH="$1"
|
||
|
|
SPEC_PATH="$2"
|
||
|
|
MAIN_PATH="$3"
|
||
|
|
ACTION="$4"
|
||
|
|
|
||
|
|
# Handle relative paths from Bazel run
|
||
|
|
if [[ "$SHIM_PATH" != /* ]]; then
|
||
|
|
SHIM_PATH="$PWD/$SHIM_PATH"
|
||
|
|
fi
|
||
|
|
if [[ "$SPEC_PATH" != /* ]]; then
|
||
|
|
SPEC_PATH="$PWD/$SPEC_PATH"
|
||
|
|
fi
|
||
|
|
if [[ "$MAIN_PATH" != /* ]]; then
|
||
|
|
MAIN_PATH="$PWD/$MAIN_PATH"
|
||
|
|
fi
|
||
|
|
|
||
|
|
exec "$SHIM_PATH" --spec "$SPEC_PATH" --main "$MAIN_PATH" --action "$ACTION"
|