[projects/buildlogs] Catch more error messages.

[arekm]

commit 3860f448a87f9b5c3899f74ea0800a0f295b8e97
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Sat May 19 10:35:44 2018 +0200

    Catch more error messages.

 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/index.php b/index.php
index 906294b..14a11ae 100644
--- a/index.php
+++ b/index.php
@@ -393,7 +393,7 @@ function dump_log($tail)
 			$toc_elem = "error $err_count";
 			$err_elem = $s;
 			$s = "<span class=error id=error-$err_count>$s</span>";
-		} elseif (preg_match("/(?:undefined reference to|recipe for target '.*?' failed|make\[.*:.* Stop\.$)/i", $s)) {
+		} elseif (preg_match("/(?:undefined reference to|recipe for target '.*?' failed|compilation terminated|make\[.*:.* (Stop\.$|Error))/i", $s)) {
 			$first_cut = true;
 			$err_count++;
 			$toc_elem = "error $err_count";
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/buildlogs.git/commitdiff/3860f448a87f9b5c3899f74ea0800a0f295b8e97