From 4226cbd8020253b010fb44d395db12efe68e1272 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 21 Sep 2023 22:30:17 -0400
Subject: Rename BIZ_ROOT to CODEROOT

BIZ_ROOT was too specific. CODEROOT allows for other (non-biz) projects to live
in the root of the repo. I didn't want to call it GIT_ROOT because maybe someday
I won't want to use git. But I'll never not use code.
---
 Biz/Ide/hooks/pre-push | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Biz/Ide/hooks/pre-push')

diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
index baf7a13..0c313cb 100755
--- a/Biz/Ide/hooks/pre-push
+++ b/Biz/Ide/hooks/pre-push
@@ -30,7 +30,7 @@
       fi
     fi
   ##
-    if lint "${BIZ_ROOT:?}"/**/*
+    if lint "${CODEROOT:?}"/**/*
     then
       lint_result="good"
     else
@@ -38,7 +38,7 @@
       exit 1
     fi
   ##
-    if bild --test "${BIZ_ROOT:?}"/**/*
+    if bild --test "${CODEROOT:?}"/**/*
     then
       test_result="good"
     else
-- 
cgit v1.2.3