From 92ddb4f3407e34fe8eb4b53abfdbc77f75a24bfe Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 12 Nov 2025 14:49:46 -0500
Subject: Fix exit condition for run.sh

Without this, run.sh would continue if bild failed, and you might
end up running an out of date artifact.
---
 Omni/Ide/run.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Omni/Ide')

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" "$@"
-- 
cgit v1.2.3