diff options
| -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 |