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