]> git.pld-linux.org Git - projects/buildlogs.git/commitdiff
match make check and fail errors
authorElan Ruusamäe <glen@pld-linux.org>
Mon, 30 Sep 2013 17:46:32 +0000 (17:46 +0000)
committerElan Ruusamäe <glen@pld-linux.org>
Mon, 30 Sep 2013 17:46:32 +0000 (17:46 +0000)
index.php

index aca5b9f68f6334f10ab0ebd7d26c68b91c9246bd..0669f98eb771288b1f3f2534c681910b08bb6c5b 100644 (file)
--- a/index.php
+++ b/index.php
@@ -364,11 +364,16 @@ function dump_log($tail)
                }
                $s = htmlspecialchars($s);
                // highlight errors
-               if (preg_match("/error(s|\sCS\d+)?:/i", $s)) {
+               if (preg_match("/(?:fail|error(s|\sCS\d+)?):/i", $s)) {
                        $err_count++;
                        $toc[] = "error $err_count";
                        $err[] = $s;
                        $s = "<span class=error id=error-$err_count>$s</span>";
+               } elseif (preg_match("#^\+ /usr/bin/make\b.*\b(?P<target>check)\b#", $s, $m)) {
+                       // rpm build section
+                       $toc[] = "make {$m['target']}";
+                       $err[] = $s;
+                       $s = "<span class=line id=make-{$m['target']}>$s</span>";
                } elseif (substr($s, 0, 2) == "+ ") {
                        // shell verbose
                        $s = "<span class=verbose>$s</span>";
@@ -492,7 +497,7 @@ function list_archs()
                "alt=\""._("Powered by PLD Linux")."\" border=\"0\" /></a><br />\n" .
             "<small>(c) 2002 ".
             "<a href=\"mailto:feedback@pld-linux.org\">PLD&nbsp;Team</a><br />\n".
-            '$Revision: 1.23 $'.
+            '$Revision: 1.24 $'.
             "</small></div>\n";
 
        # smile ;)
@@ -861,7 +866,7 @@ function welcome()
 <!-- ech... niech strace... -->
 <a href="mailto:feedback@pld-linux.org"><?=_("to us")?></a>. <?=_("Positive opinions are also")?>
 <a href="mailto:feedback@pld-linux.org"><?=_("welcome")?></a> ;)</p>
-<p>Version: $Id: index.php,v 1.23 2013/09/07 21:18:46 glen Exp $</p>
+<p>Version: $Id: index.php,v 1.24 2013/09/08 13:23:20 glen Exp $</p>
 </td><td width="20%">&nbsp;</td></tr>
 </table>
 <?php
This page took 0.119388 seconds and 4 git commands to generate.