diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-10-25 16:45:38 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-10-25 16:45:38 +0200 |
| commit | f58f922487cd5b2861b02065bd7f0229facb2199 (patch) | |
| tree | ee7386dcb6b391febf1d6de4dbdabad01dc69e6b /build_odin.sh | |
| parent | a5f8c3f692ff802104b81416513396981409c2f3 (diff) | |
Detect `which` and complain if not found.
Diffstat (limited to 'build_odin.sh')
| -rwxr-xr-x | build_odin.sh | 8 |
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 |