From cd6f38a2e8d5b2f4198831aae0a37c568c69c2ae Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 8 Aug 2022 10:01:32 -0400
Subject: Ensure BIZ_ROOT is set in shell scripts

---
 Biz/Ide/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Biz/Ide/run')

diff --git a/Biz/Ide/run b/Biz/Ide/run
index 49cd72d..bf35e3e 100755
--- a/Biz/Ide/run
+++ b/Biz/Ide/run
@@ -3,4 +3,4 @@ set -eu
 target=$1
 shift
 out=$(rg --only-matching ": out (\w*)" -r '$1' $target)
-exec "$BIZ_ROOT/_/bin/$out" "$@"
+exec "${BIZ_ROOT:?}/_/bin/$out" "$@"
-- 
cgit v1.2.3