tree c0fdc05993f905cdfb051b8340dd970b800cd296
parent c77389c72c5dcb064630464f90531f07c5db5cec
author Ayushman Jain <ajain> 1335795918 +0530
committer Ayushman Jain <ajain> 1335797781 +0530

minor tweak in batch compiler messages