# HG changeset patch
# User wenzelm
# Date 1626357032 -7200
# Node ID eb7112f467a8ce7652217f26799e2672726cdc0b
# Parent  c606a8ff5cccea527d7d2081b395be5703b8441f
more portable: avoid Windows CRLF in classpath output;

diff -r c606a8ff5ccc -r eb7112f467a8 src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 15 12:51:11 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 15 15:50:32 2021 +0200
@@ -428,8 +428,8 @@
                 shasum = _shasum.toString();
             }
             if (fresh || !shasum_old.equals(shasum)) {
-                System.out.println(
-                    "### Building " + context.description() + " (" + jar_path + ") ...");
+                System.out.print(
+                    "### Building " + context.description() + " (" + jar_path + ") ...\n");
 
                 String isabelle_class_path = Environment.getenv("ISABELLE_CLASSPATH");
 
diff -r c606a8ff5ccc -r eb7112f467a8 src/Tools/Setup/isabelle/setup/Setup.java
--- a/src/Tools/Setup/isabelle/setup/Setup.java	Thu Jul 15 12:51:11 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Setup.java	Thu Jul 15 15:50:32 2021 +0200
@@ -11,11 +11,11 @@
 {
     private static void echo(String msg)
     {
-        System.out.println(msg);
+        System.out.print(msg + "\n");
     }
     private static void echo_err(String msg)
     {
-        System.err.println(msg);
+        System.err.print(msg + "\n");
     }
     private static void fail(String msg)
     {