diff options
Diffstat (limited to 'monitor')
| -rw-r--r-- | monitor/monitor.cxx | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/monitor/monitor.cxx b/monitor/monitor.cxx index 7dab2a0..eba6e2b 100644 --- a/monitor/monitor.cxx +++ b/monitor/monitor.cxx @@ -601,13 +601,18 @@ namespace brep p->configs) : nullptr); - cleanup = (pc == nullptr || - !p->buildable || - exclude (*pc, - p->builds, - p->constraints, - *ci->second, - configs.class_inheritance_map)); + cleanup = (pc == nullptr || !p->buildable); + + if (!cleanup) + { + db.load (*p, p->constraints_section); + + cleanup = exclude (*pc, + p->builds, + p->constraints, + *ci->second, + configs.class_inheritance_map); + } } if (cleanup) @@ -818,6 +823,8 @@ namespace brep { shared_ptr<build_package> p (db.load<build_package> (bp.id)); + db.load (*p, p->constraints_section); + for (const build_package_config& pc: p->configs) { for (const build_target_config& tc: configs) |