diff options
Diffstat (limited to 'Biz/Ide/run.sh')
| -rwxr-xr-x | Biz/Ide/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/run.sh b/Biz/Ide/run.sh index 8acb519..506aa92 100755 --- a/Biz/Ide/run.sh +++ b/Biz/Ide/run.sh @@ -2,5 +2,5 @@ set -eu target=$1 shift -out=$(rg --only-matching ": out (\w*)" -r '$1' "$target") +out=$(bild --plan "$target" | jq --raw-output ".\"${target}\".out") exec "${CODEROOT:?}/_/bin/$out" "$@" |