summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--autobuild/results.php6
1 files changed, 5 insertions, 1 deletions
diff --git a/autobuild/results.php b/autobuild/results.php
index a169193..4a9e576 100644
--- a/autobuild/results.php
+++ b/autobuild/results.php
@@ -141,7 +141,11 @@ foreach ($failure as $rpm => $error) {
echo "</ul></div><div style='float:right'><h1>Successful builds ($nb_success/$nb_tried):</h1><ul>";
foreach ($success as $rpm) {
- echo "<li><a href='$base_dir/$rpm/'>$rpm</a></li>\n";
+ if (file_exists("$base_dir/$rpm/")) {
+ echo "<li><a href='$base_dir/$rpm/'>$rpm</a></li>\n";
+ } else {
+ echo "<li>$rpm</li>\n";
+ }
}
?>