Improve status for special cases

diff --git a/web/build.py b/web/build.py
index 16347be97af77e514de372985af04e2f83c41e30..5b2a6056a585aa69eeac6fb9f19a9bbef1a9132f 100755 (executable)
--- a/web/build.py
+++ b/web/build.py
@@ -110,9 +110,11 @@ def html_build_status(status):
         ostatus += "/"+span("status failed", "disk full")
     if "timeout" in status.other_failures:
         ostatus += "/"+span("status failed", "timeout")
-    if "make test error" in status.other_failures:
+    if "inconsistent test result" in status.other_failures:
         ostatus += "/"+span("status failed", "unexpected return code")
     bstatus = "/".join([span_status(n, s) for (n, s) in status.stages])
+    if bstatus == "":
+        bstatus = "?"
     return bstatus + ostatus