From ad1408e1a6b517743ba12b0338e9adee489413c0 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Fri, 27 May 2022 14:35:12 -0700
Subject: [PATCH] tooling: allow customizing build dir for init.sh

---
 init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.sh b/init.sh
index abe7e243b..9eafc873f 100755
--- a/init.sh
+++ b/init.sh
@@ -3,7 +3,7 @@ SCRIPT_FILE=${BASH_SOURCE[0]}
 [ -n "$SCRIPT_FILE" ] || SCRIPT_FILE=${(%):-%N}  # zsh
 SRCDIR=$(dirname "$(realpath "$SCRIPT_FILE")")
 
-BUILD_DIR=$SRCDIR/build
+BUILD_DIR=${BUILD_DIR:-$SRCDIR/build}
 
 if [[ "${BUILD_DIR:0:2}" == "./" ]]; then
   BUILD_DIR=${BUILD_DIR:2}