# HG changeset patch
# User wenzelm
# Date 1626466787 -7200
# Node ID dfcef9ad5f458c1f61642bb48c66e3adce3c30aa
# Parent  483c200545c805ff5324f3df1676a3eb5f3f5436
more robust;

diff -r 483c200545c8 -r dfcef9ad5f45 src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 16 22:14:31 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 16 22:19:47 2021 +0200
@@ -236,14 +236,15 @@
             PrintStream err_orig = System.err;
             ByteArrayInputStream in = new ByteArrayInputStream(new byte[0]);
             ByteArrayOutputStream out = new ByteArrayOutputStream();
-            PrintStream out_stream = new PrintStream(out);
 
             // Single-threaded context!
             try {
+                PrintStream out_stream = new PrintStream(out);
                 System.setIn(in);
                 System.setOut(out_stream);
                 System.setErr(out_stream);
                 ok = new MainClass().process(args.toArray(String[]::new));
+                out_stream.flush();
             }
             finally {
                 System.setIn(in_orig);