5 lines
142 B
Bash
5 lines
142 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
set -euo pipefail
|
||
|
|
ROOT="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
|
||
|
|
cd "$ROOT"
|
||
|
|
exec python3 tools/runner.py "$@"
|