Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Mon, 11 Nov 2019 17:00:07 +0100
changeset 71098 da378866f580
parent 71097 d3ededaa77b3
child 71099 20c1b9516d27
tuned message;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- 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)
     })
isabelle