diff options
| author | Dan Fandrich <dan@coneharvesters.com> | 2020-03-26 23:32:09 +0100 |
|---|---|---|
| committer | Dan Fandrich <dan@coneharvesters.com> | 2020-03-26 23:38:55 +0100 |
| commit | c37220777b02f52592b16b81ccd43df1ab420c05 (patch) | |
| tree | d8f7b28d7f1902d0db2e92e8d5d25b0c09902a9c /autobuild/results.php | |
| parent | 6e719bb97ca94c205e694bab9fd1def07725b3fd (diff) | |
| download | pkgsubmit-c37220777b02f52592b16b81ccd43df1ab420c05.tar pkgsubmit-c37220777b02f52592b16b81ccd43df1ab420c05.tar.gz pkgsubmit-c37220777b02f52592b16b81ccd43df1ab420c05.tar.bz2 pkgsubmit-c37220777b02f52592b16b81ccd43df1ab420c05.tar.xz pkgsubmit-c37220777b02f52592b16b81ccd43df1ab420c05.zip | |
Add more dependency icons and high error attributes separately.user/danf/results-db
Diffstat (limited to 'autobuild/results.php')
| -rw-r--r-- | autobuild/results.php | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/autobuild/results.php b/autobuild/results.php index 9a81622..7614237 100644 --- a/autobuild/results.php +++ b/autobuild/results.php @@ -254,19 +254,24 @@ foreach ($failure as $rpm => $error) { if (is_flaky($history)) { $history_link = $history_link . " <img src='icons/warning-flaky.png' title='Flaky build' />"; } - $language_link = ""; + $attr_link = ""; if (!$fixed[$rpm]) { $attributes = get_package_attributes($packageid); if ($attributes) { - # Attributes are space separated words of the form "lang_php" + # Attributes are space separated words of the form "TYPE_SPECIFIER", e.g., "lang_php" + # Types are currently build (use of a particular build system), + # lang (use of a programming language) or err (a common build error). foreach (explode(" ", $attributes) as $attr) { $attrname = ucfirst(explode("_", $attr)[1]); $icon_fn = "icons/" . str_replace("_", "-", $attr) . ".png"; if (file_exists($icon_fn)) { - $language_link = $language_link . " <img src='$icon_fn' " . + $attr_link = $attr_link . " <img src='$icon_fn' " . "title='$attrname dependency' />"; + } else if (substr($attr, 0, 4) === "err_") { + # TODO: create link into wiki with information about these errors + $attr_link = $attr_link . " [$attrname err]"; } else { - $language_link = $language_link . " [$attrname dep]"; + $attr_link = $attr_link . " [$attrname dep]"; } } } @@ -276,7 +281,7 @@ foreach ($failure as $rpm => $error) { } else { echo "<li>$error_html $rpm"; } - echo " $status_html $history_link$language_link</li>\n"; + echo " $status_html $history_link$attr_link</li>\n"; } $db->close(); ?> |