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

diff -r bad67fa41e71 -r 483c200545c8 src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 16 22:09:12 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 16 22:14:31 2021 +0200
@@ -8,10 +8,12 @@
 
 
 import java.io.BufferedOutputStream;
+import java.io.ByteArrayInputStream;
 import java.io.ByteArrayOutputStream;
 import java.io.CharArrayWriter;
 import java.io.File;
 import java.io.IOException;
+import java.io.InputStream;
 import java.io.PrintStream;
 import java.math.BigInteger;
 import java.nio.charset.StandardCharsets;
@@ -40,8 +42,6 @@
 import javax.tools.ToolProvider;
 
 import scala.tools.nsc.MainClass;
-import scala.tools.nsc.reporters.ConsoleReporter;
-import scala.util.control.Exception;
 
 
 public class Build
@@ -231,18 +231,22 @@
         if (scala_sources) {
             boolean ok = false;
 
+            InputStream in_orig = System.in;
             PrintStream out_orig = System.out;
             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 {
+                System.setIn(in);
                 System.setOut(out_stream);
                 System.setErr(out_stream);
                 ok = new MainClass().process(args.toArray(String[]::new));
             }
             finally {
+                System.setIn(in_orig);
                 System.setOut(out_orig);
                 System.setErr(err_orig);
             }