diff options
author | Dale Wijnand <dale.wijnand@gmail.com> | 2016-09-29 01:31:28 +0100 |
---|---|---|
committer | Dale Wijnand <dale.wijnand@gmail.com> | 2016-09-29 21:03:48 +0100 |
commit | acdc8e5ff55c8de5dcf4f2ecb6ae7ea39c6ac5e4 (patch) | |
tree | 71b97f8aefa6d4b7b3e37b221926fc17d4365152 | |
parent | 63f5eb5eb751fa5bfb69d0e783aa360abac82a1b (diff) | |
download | scala-acdc8e5ff55c8de5dcf4f2ecb6ae7ea39c6ac5e4.tar.gz scala-acdc8e5ff55c8de5dcf4f2ecb6ae7ea39c6ac5e4.tar.bz2 scala-acdc8e5ff55c8de5dcf4f2ecb6ae7ea39c6ac5e4.zip |
Add support for -Dpartest.scalac_opts to the partest command
-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 } } |