diff options
| -rw-r--r-- | bbot/worker/worker.cxx | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/bbot/worker/worker.cxx b/bbot/worker/worker.cxx index 2d87968..d6e8cad 100644 --- a/bbot/worker/worker.cxx +++ b/bbot/worker/worker.cxx @@ -1292,10 +1292,7 @@ build (size_t argc, const char* argv[]) { if (t.buildtime) buildtime_tests.push_back (move (t)); - // - // @@ TMP Check for !module_pkg until 0.14.0 is out. - // - else if (target_pkg || (selfhost && !module_pkg)) + else if (target_pkg || selfhost) runtime_tests.push_back (move (t)); } |