# HG changeset patch
# User wenzelm
# Date 1573488007 -3600
# Node ID da378866f580b20613a97c505f0d279d9d9e6f68
# Parent  d3ededaa77b34afaff6a8c400805c8569a84a4c4
tuned message;

diff -r d3ededaa77b3 -r da378866f580 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Mon Nov 11 11:49:43 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Nov 11 17:00:07 2019 +0100
@@ -126,9 +126,8 @@
 
       val config = get_config(name)
 
-      if (!progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true).ok) {
-        error("Command failed")
-      }
+      val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
+      if (!result.ok) error("Return code: " + result.rc.toString)
     })