diff options
| author | Jan Prukner <prukner.jan@seznam.cz> | 2023-04-25 07:06:36 +0200 |
|---|---|---|
| committer | Jan Prukner <prukner.jan@seznam.cz> | 2023-04-25 07:06:36 +0200 |
| commit | 19097bc5bc2e5254eb6bae2b03877c9d678a0523 (patch) | |
| tree | 9b77ec015ef45695c67aba41cd8355c02692f18d | |
| parent | dbebe9e92ca163b125034f16220b316767aa769b (diff) | |
add redirect to /dev/null
| -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 860cb388f..9f4e7101a 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -157,7 +157,7 @@ run_demo() { } have_which() { - if ! command -v which 2>&1 ; then + if ! command -v which > /dev/null 2>&1 ; then panic "Could not find \`which\`" fi } |