Catch errors like 'CMakeFiles/Makefile2:991: recipe for target 'nepomuk/CMakeFiles...

diff --git a/index.php b/index.php
index d3583843b36b820ed234ea832544c40f2ae44289..3397013f39190dc9411ca2383f490788ef00f94c 100644 (file)
--- a/index.php
+++ b/index.php
@@ -374,7 +374,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)/i", $s)) {
+               } elseif (preg_match("/(?:undefined reference to|recipe for target '.*?' failed)/i", $s)) {
                        $first_cut = true;
                        $err_count++;
                        $toc_elem = "error $err_count";