diff options
| -rwxr-xr-x | util/board_status/board_status.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/board_status/board_status.sh b/util/board_status/board_status.sh index ec98277aea..14d6514e5b 100755 --- a/util/board_status/board_status.sh +++ b/util/board_status/board_status.sh @@ -38,10 +38,10 @@ test_cmd() fi if [ "$1" -eq "$REMOTE" ] && [ -n "$REMOTE_HOST" ]; then - ssh root@${REMOTE_HOST} which "$2" > /dev/null + ssh root@${REMOTE_HOST} command -v "$2" > /dev/null rc=$? else - which "$2" >/dev/null + command -v "$2" >/dev/null rc=$? fi |