--- a/src/Pure/Tools/phabricator.scala Wed Dec 11 23:05:57 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala Thu Dec 12 11:49:00 2019 +0100
@@ -154,11 +154,11 @@
progress.echo("phabricator " + quote(config.name) + " root " + config.root)
}
}
-
- val config = get_config(name)
-
- val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
- if (!result.ok) error("Return code: " + result.rc.toString)
+ else {
+ val config = get_config(name)
+ val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
+ if (!result.ok) error("Return code: " + result.rc.toString)
+ }
})