diff options
| -rwxr-xr-x | util/board_status/board_status.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/util/board_status/board_status.sh b/util/board_status/board_status.sh index 7c321b3fe7..20ba48f943 100755 --- a/util/board_status/board_status.sh +++ b/util/board_status/board_status.sh @@ -60,10 +60,16 @@ _cmd() return $EXIT_FAILURE fi + if [ -n "$3" ]; then + pipe_location="${3}" + else + pipe_location="/dev/null" + fi + if [ "$1" -eq "$REMOTE" ] && [ -n "$REMOTE_HOST" ]; then - ssh root@${REMOTE_HOST} "$2" > "${3}" 2>&1 + ssh root@${REMOTE_HOST} "$2" > "$pipe_location" 2>&1 else - $2 > "${3}" 2>&1 + $2 > "$pipe_location" 2>&1 fi return $? |