path: root/Omni/Ide/run.sh

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