# HG changeset patch
# User wenzelm
# Date 1573120811 -3600
# Node ID 324c40205fc8e33ac7e73be067174c2f5cdf19f2
# Parent  d61fd7aade693d8760ab813c33b2059bd64de9d5
clarified errors: include stdout;

diff -r d61fd7aade69 -r 324c40205fc8 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:55:57 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:00:11 2019 +0100
@@ -69,7 +69,7 @@
     def home: Path = root + Path.explode(phabricator_name())
 
     def execute(command: String): Process_Result =
-      Isabelle_System.bash("./bin/" + command, cwd = home.file).check
+      Isabelle_System.bash("./bin/" + command, cwd = home.file, redirect = true).check
   }
 
   def read_config(): List[Config] =