diff options
Diffstat (limited to 'bbot/worker/worker.cxx')
| -rw-r--r-- | bbot/worker/worker.cxx | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bbot/worker/worker.cxx b/bbot/worker/worker.cxx index d6e8cad..e4b5e5e 100644 --- a/bbot/worker/worker.cxx +++ b/bbot/worker/worker.cxx @@ -1270,7 +1270,13 @@ build (size_t argc, const char* argv[]) tm.requirements.end (), [id] (const requirement_alternatives& r) { - return r.size () == 1 && r[0] == id; + if (r.size () == 1) + { + const requirement_alternative& a (r[0]); + return find (a.begin (), a.end (), id) != a.end (); + } + + return false; }) != tm.requirements.end (); }; |