--- a/src/Tools/Setup/isabelle/setup/Environment.java Sun Jul 11 13:48:01 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Environment.java Sun Jul 11 16:57:30 2021 +0200
@@ -1,4 +1,4 @@
-/* Title: Pure/System/isabelle_env.scala
+/* Title: Tools/Setup/isabelle/setup/Environment.scala
Author: Makarius
Fundamental Isabelle system environment: quasi-static module with
@@ -212,8 +212,8 @@
Exec_Result(int rc, String out, String err)
{
_rc = rc;
- _out = out;
- _err = err;
+ _out = Library.trim_line(out);
+ _err = Library.trim_line(err);
}
public int rc() { return _rc; }