1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php
index ccf5bcd2cc..c10beea7a2 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -784,7 +784,7 @@ function system_with_timeout($commandline)
 			return $data;
 		} else if ($n > 0) {
 			$line = fread($pipes[1], 8192);
-			if ($line === false) {
+			if (strlen($line) == 0) {
 				/* EOF */
 				break;
 			}