public static void finish() {
if (!makeThunk) {
Record.finish();
if (monitor) monitorThread.finish();
setExecStatus("done", false);
outputMap.printEasy(getFile("output.map"));
StopWatch.getStats().printEasy(getFile("time.map"));
if (create) stderr.println(virtualExecDir);
if (LogInfo.getNumErrors() > 0 || LogInfo.getNumWarnings() > 0)
stderr.printf("%d errors, %d warnings\n", LogInfo.getNumErrors(), LogInfo.getNumWarnings());
if (startMainTrack) end_track();
}
System.exit(exitCode);
}
public static synchronized void printOutputMap(String path) {
if (StrUtils.isEmpty(path)) return;
// First write to a temporary directory and then rename the file
String tmpPath = path + ".tmp";
if (outputMap.printEasy(tmpPath)) new File(tmpPath).renameTo(new File(path));
}