X-Git-Url: https://git.pld-linux.org/?a=blobdiff_plain;f=index.php;h=357a9f18736d8617d571d34d29eb1e415507718b;hb=aa0c7f70d7f9cd500e944be8cdafba253ed1c908;hp=d3583843b36b820ed234ea832544c40f2ae44289;hpb=82d6f6b124a15b3c5a0cfe2ef671ee13f4d4ecff;p=projects%2Fbuildlogs.git diff --git a/index.php b/index.php index d358384..357a9f1 100644 --- a/index.php +++ b/index.php @@ -1,4 +1,7 @@ $df"; + if ($name != 'command') { + $gitweb_url = "http://git.pld-linux.org/?p=packages/$name.git;a=summary"; + $name = "$name"; + } + echo "

$name $id

"; echo ""; @@ -361,6 +370,7 @@ function dump_log($tail) $time = ""; $out_buf = array(); $out_buf_size = 0; + $err_count = 0; while (($s = fgets($fd, 102400)) != false) { $toc_elem = false; @@ -374,7 +384,7 @@ function dump_log($tail) $toc_elem = "error $err_count"; $err_elem = $s; $s = "$s"; - } elseif (preg_match("/(?:undefined reference to)/i", $s)) { + } elseif (preg_match("/(?:undefined reference to|recipe for target '.*?' failed)/i", $s)) { $first_cut = true; $err_count++; $toc_elem = "error $err_count"; @@ -918,8 +928,7 @@ function welcome() . - ;)

-

Version: $Id: index.php,v 1.37 2014/10/20 12:59:06 glen Exp $

+ ;)