diff options
Diffstat (limited to 'autobuild/results.php')
| -rw-r--r-- | autobuild/results.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/autobuild/results.php b/autobuild/results.php index 2fcf432..9e0f13d 100644 --- a/autobuild/results.php +++ b/autobuild/results.php @@ -111,7 +111,10 @@ while (!feof($status_file)) { } else { $build_stat = stat("$base_dir/$rpm"); $pkg_stat = stat('/distrib/bootstrap/distrib/cauldron/SRPMS/core/release/'.$packages[$package]); - if (file_exists("$base_dir/$rpm") && $pkg_stat['mtime'] > $start_time) { + # For recreate_srpm_failure, $rpm is the one that was in the repo + # For other failures, mga release may be incorrect so use something less reliable + if (($status == 'recreate_srpm_failure' && $rpm != $packages[$package]) + || ($pkg_stat['mtime'] > $start_time)) { $fixed[$rpm] = 1; } } |