diff options
| -rw-r--r-- | jack/src/com/android/jack/frontend/java/JackBatchCompiler.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jack/src/com/android/jack/frontend/java/JackBatchCompiler.java b/jack/src/com/android/jack/frontend/java/JackBatchCompiler.java index f38a468..ea382bc 100644 --- a/jack/src/com/android/jack/frontend/java/JackBatchCompiler.java +++ b/jack/src/com/android/jack/frontend/java/JackBatchCompiler.java @@ -197,6 +197,10 @@ public class JackBatchCompiler extends Main { environment.cleanup(); } + if (extraProblems != null) { + loggingExtraProblems(); + extraProblems = null; + } // Update compiler statistics and log them. if (compilerStats != null && compilerStats.length > currentRepetition) { compilerStats[currentRepetition] = batchCompiler.stats; |