# HG changeset patch
# User wenzelm
# Date 1354726138 -3600
# Node ID 9b6f5f758c31c5c825b4cac5267a0b6eccd8222c
# Parent  d5dbb63df0c770085072462f4695ef6f59f9a41c
tuned OK feedback;

diff -r d5dbb63df0c7 -r 9b6f5f758c31 src/Pure/System/build_dialog.scala
--- a/src/Pure/System/build_dialog.scala	Wed Dec 05 17:38:43 2012 +0100
+++ b/src/Pure/System/build_dialog.scala	Wed Dec 05 17:48:58 2012 +0100
@@ -98,13 +98,16 @@
               system_mode = system_mode, sessions = List(session)))
         }
         catch { case exn: Throwable => (Exn.message(exn) + "\n", 2) }
-      Swing_Thread.now {
-        if (rc != 0) {
+      if (rc == 0) {
+        progress.echo("OK\n")
+        Thread.sleep(1000)
+      }
+      else
+        Swing_Thread.now {
           Library.error_dialog(this.peer, "Isabelle build failure",
             Library.scrollable_text(out + "Return code: " + rc + "\n"))
         }
-        sys.exit(rc)
-      }
+      sys.exit(rc)
     })
   }
 }