8157b39ea4
Some checks failed
CI / build (push) Failing after 12s
GitOrigin-RevId: 6370f6ea785709295b6abcf9c60717cacf3ac432
20 lines
425 B
Bash
Executable file
20 lines
425 B
Bash
Executable file
#!/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"
|