diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-07-22 11:28:08 +0200 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-07-22 11:28:08 +0200 |
commit | b3ca8e167bd2f3871dab7d394ee70c6132295a31 (patch) | |
tree | a63f79cf9aaf52581c2fa0adf359f0512be0beff /test/dotc/tests.scala | |
parent | ed8b3f0f7581174887ae1c7c8fc3b01609a3a9cb (diff) | |
parent | 7eef035ea617be1f38c9d901b6c08ee8982fb73e (diff) | |
download | dotty-b3ca8e167bd2f3871dab7d394ee70c6132295a31.tar.gz dotty-b3ca8e167bd2f3871dab7d394ee70c6132295a31.tar.bz2 dotty-b3ca8e167bd2f3871dab7d394ee70c6132295a31.zip |
Merge pull request #724 from dotty-staging/labels-Ycheck
Enable Ycheck after labelDef. Fixes #701
Diffstat (limited to 'test/dotc/tests.scala')
-rw-r--r-- | test/dotc/tests.scala | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 838b4dbb3..50fa90d53 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -8,6 +8,8 @@ import org.junit.experimental.categories._ class tests extends CompilerTest { + def isRunByJenkins: Boolean = sys.props.isDefinedAt("dotty.jenkins.build") + val noCheckOptions = List( // "-verbose", // "-Ylog:frontend", @@ -20,9 +22,12 @@ class tests extends CompilerTest { implicit val defaultOptions = noCheckOptions ++ List( "-Yno-deep-subtypes", "-Yno-double-bindings", - "-Ycheck:tailrec,resolveSuper,mixin,restoreScopes", - "-d", defaultOutputDir - ) + "-d", defaultOutputDir) ++ { + if (isRunByJenkins) List("-Ycheck:-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef") // should be Ycheck:all, but #725 + else List("-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef") + } + + val testPickling = List("-Xprint-types", "-Ytest-pickler", "-Ystop-after:pickler") val twice = List("#runs", "2") |