path: root/Omni/Ide/run.sh

#!/usr/bin/env bash
set -eu
target=$1
shift
out=$(bild --plan "$target" | jq --raw-output ".\"${target}\".out")
if [[ ! -f "$out" ]]; then
  bild "$target" || exit 1
fi
exec "${CODEROOT:?}/_/bin/$out" "$@"