summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/board_status/board_status.sh10
1 files changed, 9 insertions, 1 deletions
diff --git a/util/board_status/board_status.sh b/util/board_status/board_status.sh
index 65576f4d31..7c321b3fe7 100755
--- a/util/board_status/board_status.sh
+++ b/util/board_status/board_status.sh
@@ -17,11 +17,15 @@ UPLOAD_RESULTS=0
# if command should be run remoteley when a remote host is specified.
LOCAL=0
REMOTE=1
+FATAL=0
+NONFATAL=1
# test a command
#
# $1: test command on remote host (0=no, 1=yes)
# $2: command to test
+# $3: 0 ($FATAL) Exit with an error if the command fails
+# 1 ($NONFATAL) Don't exit on command test failure
test_cmd()
{
local rc
@@ -39,7 +43,11 @@ test_cmd()
fi
if [ $rc -eq 0 ]; then
- return
+ return 0
+ fi
+
+ if [ $3 -eq 1 ]; then
+ return 1
fi
echo "$2 not found"