diff --git a/tools/profiler/core/platform-linux.cc b/tools/profiler/core/platform-linux.cc
index caf7326b1bd..0df1e8f087c 100644
--- a/tools/profiler/core/platform-linux.cc
+++ b/tools/profiler/core/platform-linux.cc
@@ -359,8 +359,9 @@ static void* SignalSender(void* arg) {
           printf_stderr("profiler failed to signal tid=%d\n", threadId);
 #ifdef DEBUG
           abort();
-#endif
+#else
           continue;
+#endif
         }
 
         // Wait for the signal handler to run before moving on to the next one