aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeroen van Rijn <Kelimion@users.noreply.github.com>2022-10-25 16:45:38 +0200
committerJeroen van Rijn <Kelimion@users.noreply.github.com>2022-10-25 16:45:38 +0200
commitf58f922487cd5b2861b02065bd7f0229facb2199 (patch)
treeee7386dcb6b391febf1d6de4dbdabad01dc69e6b
parenta5f8c3f692ff802104b81416513396981409c2f3 (diff)
Detect `which` and complain if not found.
-rwxr-xr-xbuild_odin.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/build_odin.sh b/build_odin.sh
index 4d2e461dd..f131e088d 100755
--- a/build_odin.sh
+++ b/build_odin.sh
@@ -134,6 +134,14 @@ run_demo() {
./odin run examples/demo/demo.odin -file
}
+have_which() {
+ if ! which which > /dev/null 2>&1; then
+ panic "Could not find \`which\`"
+ fi
+}
+
+have_which
+
case $OS in
Linux)
config_linux