# HG changeset patch
# User wenzelm
# Date 1357409116 -3600
# Node ID 38114719a9bc56fa3ee5ad3770638265ad4a4694
# Parent  20e6e1a92e54bf6863945fae4f28b1a95f65acaa
premature window close means failure;

diff -r 20e6e1a92e54 -r 38114719a9bc src/Pure/Tools/build_dialog.scala
--- a/src/Pure/Tools/build_dialog.scala	Sat Jan 05 18:42:29 2013 +0100
+++ b/src/Pure/Tools/build_dialog.scala	Sat Jan 05 19:05:16 2013 +0100
@@ -67,7 +67,7 @@
     /* GUI state */
 
     private var is_stopped = false
-    private var return_code = 0
+    private var return_code = 2
 
     override def closeOperation { sys.exit(return_code) }