--- build_system/web/autobuild/index.php 2012/12/26 12:42:41 6864 +++ build_system/web/autobuild/index.php 2012/12/26 13:55:57 6865 @@ -127,7 +127,11 @@ } elseif ($prev && !$prev_failure[$rpm]) { $status = " New!"; } - echo "
  • $rpm$status
  • \n"; + if (file_exists("$base_dir/$rpm/")) { + echo "
  • $rpm$status
  • \n"; + } else { + echo "
  • $rpm $status
  • \n"; + } } echo "

    Successful builds ($nb_success/$nb_tried):