From ee94f7688cb7dcbb46e85549a757eef86b6cb186 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 29 Jun 2017 13:04:27 +0200
Subject: [PATCH] fix(shell/lean): do not repeat progress messages

This should fix the problem with the 4MB log limit on Travis.
---
 src/shell/lean.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index 54c492e69c..1020dd1423 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -232,6 +232,7 @@ class progress_message_stream {
 
     bool m_show_progress;
     std::unique_ptr<single_timer> m_timer;
+    std::string m_last_task;
 
     void clear_shown_task() {
         if (m_showing_task) {
@@ -314,6 +315,8 @@ public:
     void show_current_task_core() {
         if (m_use_json) return;
         if (auto desc = find_current_task()) {
+            if (*desc == m_last_task && m_showing_task) return;
+            m_last_task = *desc;
             clear_shown_task();
 #if defined(LEAN_EMSCRIPTEN)
             m_out << *desc << std::endl;