diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-16 08:24:00 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-16 08:24:00 +0100 |
commit | ac51f06cd10e6a1ac5efb2923f0f786d1b878061 (patch) | |
tree | 5becbc0acf0968d7dca6a5ceca0702385a7c5339 | |
parent | c321653cee9f4596b046efdbb8c1913509fec5ef (diff) | |
parent | 3c6502b39d7227a1da6d7700c00968c323e30f98 (diff) | |
download | dotty-ac51f06cd10e6a1ac5efb2923f0f786d1b878061.tar.gz dotty-ac51f06cd10e6a1ac5efb2923f0f786d1b878061.tar.bz2 dotty-ac51f06cd10e6a1ac5efb2923f0f786d1b878061.zip |
Merge pull request #2107 from dotty-staging/disable/sbt-reporter
sbt-bridge: Fix #2092: Disable position information in the reporter
-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 { |