Rebuild dotc if new *.scala files are found in dotty/src
#615
Merged
DarkDimius merged 2 commits intoscala:masterfrom May 27, 2015
Merged
Rebuild dotc if new *.scala files are found in `dotty/src`#615DarkDimius merged 2 commits intoscala:masterfrom
DarkDimius merged 2 commits intoscala:masterfrom