diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2017-03-15 23:21:38 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2017-03-15 23:21:39 +0100 |
commit | 3c6502b39d7227a1da6d7700c00968c323e30f98 (patch) | |
tree | 5becbc0acf0968d7dca6a5ceca0702385a7c5339 /sbt-bridge/src/xsbt | |
parent | c321653cee9f4596b046efdbb8c1913509fec5ef (diff) | |
download | dotty-3c6502b39d7227a1da6d7700c00968c323e30f98.tar.gz dotty-3c6502b39d7227a1da6d7700c00968c323e30f98.tar.bz2 dotty-3c6502b39d7227a1da6d7700c00968c323e30f98.zip |
sbt-bridge: Fix #2092: Disable position information in the reporter
This is temporary until someone figures out how to get sbt to not print
duplicated information when this is turned on. This might require
changes to sbt itself.
Diffstat (limited to 'sbt-bridge/src/xsbt')
-rw-r--r-- | sbt-bridge/src/xsbt/DelegatingReporter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sbt-bridge/src/xsbt/DelegatingReporter.scala b/sbt-bridge/src/xsbt/DelegatingReporter.scala index e637ddcf3..8302c1f14 100644 --- a/sbt-bridge/src/xsbt/DelegatingReporter.scala +++ b/sbt-bridge/src/xsbt/DelegatingReporter.scala @@ -28,7 +28,7 @@ final class DelegatingReporter(delegate: xsbti.Reporter) extends Reporter } val position = - if (cont.pos.exists) { + if (false && cont.pos.exists) { // Disabled because it duplicates the information printed by Dotty val pos = cont.pos val src = pos.source new Position { |