diff options
author | vsalvis <salvisbergvera@gmail.com> | 2015-05-19 14:51:19 +0200 |
---|---|---|
committer | vsalvis <salvisbergvera@gmail.com> | 2015-05-22 11:12:44 +0200 |
commit | ed31c2a82d6b59ef092e17bd8811278f5ffd15e9 (patch) | |
tree | 4363a13773e73e46be66d486c3e0893875a17473 /test/dotty/partest/DPConfig.scala | |
parent | 12f7dcba50671361f3de04d3a23b049f74a79280 (diff) | |
download | dotty-ed31c2a82d6b59ef092e17bd8811278f5ffd15e9.tar.gz dotty-ed31c2a82d6b59ef092e17bd8811278f5ffd15e9.tar.bz2 dotty-ed31c2a82d6b59ef092e17bd8811278f5ffd15e9.zip |
Less verbose partest with compiler output redirected, better --verbose output
Diffstat (limited to 'test/dotty/partest/DPConfig.scala')
-rw-r--r-- | test/dotty/partest/DPConfig.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/dotty/partest/DPConfig.scala b/test/dotty/partest/DPConfig.scala index c744a9562..ad9c271ef 100644 --- a/test/dotty/partest/DPConfig.scala +++ b/test/dotty/partest/DPConfig.scala @@ -18,9 +18,7 @@ object DPConfig { lazy val testDirs = { val root = new File(testRoot) val dirs = if (!root.exists) Array.empty[String] else root.listFiles.filter(_.isDirectory).map(_.getName) - if (dirs.length > 0) - println(s"Partest found generated source directories in $testRoot: " + dirs.mkString(", ")) - else + if (dirs.isEmpty) throw new Exception("Partest did not detect any generated sources") dirs } |