# HG changeset patch
# User wenzelm
# Date 1573571845 -3600
# Node ID 3d228a3a88e04a166613890a498d0579b4ca8530
# Parent  67c2fed5b0e942e75bf17c8bf7a6a30e602d8645
tuned;

diff -r 67c2fed5b0e9 -r 3d228a3a88e0 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 12 16:12:03 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 12 16:17:25 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, redirect = true).check
+      Isabelle_System.bash("bin/" + command, cwd = home.file, redirect = true).check
   }
 
   def read_config(): List[Config] =
@@ -266,7 +266,7 @@
 
     config.execute("config set storage.mysql-engine.max-size 8388608")
 
-    progress.bash("./bin/storage upgrade --force", cwd = config.home.file, echo = true).check
+    progress.bash("bin/storage upgrade --force", cwd = config.home.file, echo = true).check
 
 
     /* SSH hosting */
@@ -451,7 +451,7 @@
       if (test_user.nonEmpty) {
         progress.echo("Sending test mail to " + quote(test_user))
         progress.bash(cwd = config.home.file, echo = true,
-          script = """echo "Test from Phabricator ($(date))" | ./bin/mail send-test --subject "Test" --to """ +
+          script = """echo "Test from Phabricator ($(date))" | bin/mail send-test --subject "Test" --to """ +
             Bash.string(test_user)).check
       }
     }