# HG changeset patch
# User wenzelm
# Date 1626519587 -7200
# Node ID 77cc23b550e93cfdf99029f13a0d9af97224d1aa
# Parent  47a568d9067eae38949208fdf53d83e4d7ca0f39
tuned;

diff -r 47a568d9067e -r 77cc23b550e9 src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Sat Jul 17 10:47:42 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Sat Jul 17 12:59:47 2021 +0200
@@ -229,8 +229,6 @@
             if (p.toString().endsWith(".scala")) { scala_sources = true; }
         }
         if (scala_sources) {
-            boolean ok = false;
-
             InputStream in_orig = System.in;
             PrintStream out_orig = System.out;
             PrintStream err_orig = System.err;
@@ -238,6 +236,7 @@
             ByteArrayOutputStream out = new ByteArrayOutputStream();
 
             // Single-threaded context!
+            boolean ok = false;
             try {
                 PrintStream out_stream = new PrintStream(out);
                 System.setIn(in);