| 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.
|
|
|