diff --git a/main/Defaults.scala b/main/Defaults.scala index d2a0f6e19..b0489e42f 100644 --- a/main/Defaults.scala +++ b/main/Defaults.scala @@ -444,13 +444,22 @@ object Defaults extends BuildCommon def testOnlyParser: (State, Seq[String]) => Parser[(Seq[String],Seq[String])] = { (state, tests) => import DefaultParsers._ - def distinctParser(exs: Set[String]): Parser[Seq[String]] = - (token(Space) ~> token((NotSpace - "--") examples exs) ).flatMap(ex => distinctParser(exs - ex).map(ex +: _)) ?? Nil - val selectTests = distinctParser(tests.toSet) // todo: proper IDs + val selectTests = distinctParser(tests.toSet) val options = (token(Space) ~> token("--") ~> spaceDelimited("