diff options
| author | mikaelpeltier <mikaelpeltier@google.com> | 2014-05-27 09:31:00 +0200 |
|---|---|---|
| committer | mikaelpeltier <mikaelpeltier@google.com> | 2014-05-27 09:31:00 +0200 |
| commit | 55051ddbcc6a7bb072330697cacbaee24adf3924 (patch) | |
| tree | 25ed2766297c8984941a050fa78c78a39a4a9480 | |
| parent | d10ec24bf0fe4d2249b326b608da4888adfe27ff (diff) | |
| download | toolchain_jack-55051ddbcc6a7bb072330697cacbaee24adf3924.zip toolchain_jack-55051ddbcc6a7bb072330697cacbaee24adf3924.tar.gz toolchain_jack-55051ddbcc6a7bb072330697cacbaee24adf3924.tar.bz2 | |
Log extra problems during compilation
Change-Id: I9fa7c1e2fb8f0eb90eddbc836206ef09a3a9398f
| -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; |