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