Index: src/scripts/run_remote_tests.sh |
diff --git a/src/scripts/run_remote_tests.sh b/src/scripts/run_remote_tests.sh |
index 17cc32d1055d34eaac314935ec1aaf5c91a6e69f..b8e1992db55ecbcd456fba50e8c39a7e6731303c 100755 |
--- a/src/scripts/run_remote_tests.sh |
+++ b/src/scripts/run_remote_tests.sh |
@@ -64,8 +64,8 @@ function cleanup() { |
# None |
function is_successful_test() { |
local file="$1" |
- # To be successful, must not have FAIL or BAD in the file. |
- if egrep -q "(BAD|FAIL)" "${file}"; then |
+ # To be successful, must not have BAD, ERROR or FAIL in the file. |
+ if egrep -q "(BAD|ERROR|FAIL)" "${file}"; then |
return 1 |
fi |
# To be successful, must have GOOD in the file. |