summaryrefslogtreecommitdiff
path: root/Omni/Ide/run.sh
blob: 506aa92dc94f82cc3e496b672c17d4120da20a70 (plain)
1
2
3
4
5
6
#!/usr/bin/env bash
set -eu
target=$1
shift
out=$(bild --plan "$target" | jq --raw-output ".\"${target}\".out")
exec "${CODEROOT:?}/_/bin/$out" "$@"