1 files changed, 3 insertions, 1 deletions
diff --git a/Omni/Ide/run.sh b/Omni/Ide/run.sh
index e300fcc..d4811a4 100755
--- a/Omni/Ide/run.sh
+++ b/Omni/Ide/run.sh
@@ -3,5 +3,7 @@ set -eu
 target=$1
 shift
 out=$(bild --plan "$target" | jq --raw-output ".\"${target}\".out")
-[[ -f "$out" ]] || bild "$target"
+if [[ ! -f "$out" ]]; then
+  bild "$target" || exit 1
+fi
 exec "${CODEROOT:?}/_/bin/$out" "$@"