editor.updateOutputTree();
}
compileSize();
long endTime = System.currentTimeMillis();
double compileTime = (double)(endTime - startTime) / 1000d;
<BUG>bullet("Compilation took " + compileTime + " seconds");
</BUG>
ctx.executeKey("compile.postcmd");
return true;
}

editor.updateOutputTree();
}
compileSize();
long endTime = System.currentTimeMillis();
double compileTime = (double)(endTime - startTime) / 1000d;
if (!Base.isQuiet()) bullet("Compilation took " + compileTime + " seconds");
ctx.executeKey("compile.postcmd");
return true;
}
