diff options
| -rw-r--r-- | project/PartestUtil.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/project/PartestUtil.scala b/project/PartestUtil.scala index 99b978515c..897881d2b6 100644 --- a/project/PartestUtil.scala +++ b/project/PartestUtil.scala @@ -86,7 +86,10 @@ object PartestUtil { srcPath = path opt + " " + path } - val P = oneOf(knownUnaryOptions.map(x => token(x))) | SrcPath | TestPathParser | Grep + + val ScalacOptsParser = (token("-Dpartest.scalac_opts=") ~ token(NotSpace)) map { case opt ~ v => opt + v } + + val P = oneOf(knownUnaryOptions.map(x => token(x))) | SrcPath | TestPathParser | Grep | ScalacOptsParser (Space ~> repsep(P, oneOrMore(Space))).map(_.mkString(" ")).?.map(_.getOrElse("")) <~ OptSpace } } |