--- a/src/Pure/System/isabelle_system.ML Mon Feb 22 15:20:45 2021 +0100
+++ b/src/Pure/System/isabelle_system.ML Mon Feb 22 15:24:04 2021 +0100
@@ -51,20 +51,20 @@
fun bash_output_check s =
let val res = bash_process s in
- if Process_Result.ok res then trim_line (Process_Result.out res)
- else error (trim_line (Process_Result.err res))
+ if Process_Result.ok res then Process_Result.out res
+ else error (Process_Result.err res)
end;
fun bash_output s =
let
val res = bash_process s;
- val _ = warning (trim_line (Process_Result.err res));
+ val _ = warning (Process_Result.err res);
in (Process_Result.out res, Process_Result.rc res) end;
fun bash s =
let
val (out, rc) = bash_output s;
- val _ = writeln (trim_line out);
+ val _ = writeln out;
in rc end;