diff --git a/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java b/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java
index d7ac1d5ee6f..0c28cece2ad 100644
--- a/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java
+++ b/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java
@@ -137,7 +137,7 @@ public class Profiler {
         paused = true;
         cumulative = 0;
 
-        if (log.isDebugEnabled()) {
+        if (!mute && log.isDebugEnabled()) {
             OUT_LOCK.lock();
             try {
                 println(name, " took ", format(result));