Update _tags: include ounit2 for all targets except solution.ml

monadius · monadius · commit e79d85383cad · 2023-04-09T20:07:55.000-06:00
diff --git a/workspace/_tags b/workspace/_tags
@@ -1,2 +1,2 @@
-<cwtest.ml> or <cwtest.native> or <tests.ml>: package(ounit2)
-not <cwtest.ml>: thread, package(batteries), package(base), package(domainslib), package(zarith)
+not <solution.ml>: package(ounit2)
+not <cwtest.ml*>: thread, package(batteries), package(base), package(domainslib), package(zarith)
