diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2023-04-25 08:32:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-25 08:32:45 +0200 |
| commit | d5772c939a73eaef82a8a012d5290447f04370c2 (patch) | |
| tree | 9b77ec015ef45695c67aba41cd8355c02692f18d | |
| parent | be0a543077b61da9e7587767fa12c31dd4978291 (diff) | |
| parent | 19097bc5bc2e5254eb6bae2b03877c9d678a0523 (diff) | |
Merge pull request #2483 from jprukner/fix-alias-which-check
Fix which command check
| -rwxr-xr-x | build_odin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_odin.sh b/build_odin.sh index 62943732f..9f4e7101a 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -157,7 +157,7 @@ run_demo() { } have_which() { - if ! [ -x "$(command -v which)" ]; then + if ! command -v which > /dev/null 2>&1 ; then panic "Could not find \`which\`" fi } |