luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Extend reporter to be used by the IDE.

This commit is contained in:
Eugene Vigdorchik 2012-07-24 10:43:56 +04:00 committed by Mark Harrah
parent b65a7078f1
commit 2e8fdbdf05
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
interface/src/main/java/xsbti/ExtendedReporter.java Executable file
View File

@ -0,0 +1,10 @@
/* sbt -- Simple Build Tool
* Copyright 2012 Eugene Vigdorchik
*/
package xsbti;
/** An addition to standard reporter. Used by the IDE. */
public interface ExtendedReporter extends Reporter
{
public void comment(Position pos, String msg);
}