# HG changeset patch
# User wenzelm
# Date 1508233899 -7200
# Node ID b540a5a64a311ac40ed011b41afc48f0545a65f9
# Parent  f60d3e6d597576b8ae306a3c075d95ba8b0eb31c
tuned;

diff -r f60d3e6d5975 -r b540a5a64a31 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Tue Oct 17 11:29:14 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Tue Oct 17 11:51:39 2017 +0200
@@ -495,8 +495,6 @@
   {
     /* Isabelle self repository */
 
-    val isabelle_admin = isabelle_repos_self + Path.explode("Admin")
-
     val isabelle_hg =
       Mercurial.setup_repository(isabelle_repos_source, isabelle_repos_self, ssh = ssh)
 
@@ -517,7 +515,8 @@
         ssh.execute(
           ssh.bash_path(isabelle_repos_self + Path.explode("bin/isabelle")) + " " + cmd).check
       }
-      ssh.execute(ssh.bash_path(isabelle_admin + Path.explode("build")) + " jars_fresh").check
+      ssh.execute(
+        ssh.bash_path(isabelle_repos_self + Path.explode("Admin/build")) + " jars_fresh").check
     }
 
 
@@ -547,7 +546,7 @@
 
       ssh.execute(
         Isabelle_System.export_isabelle_identifier(isabelle_identifier) +
-        ssh.bash_path(isabelle_admin + Path.explode("build_history")) +
+        ssh.bash_path(isabelle_repos_self + Path.explode("Admin/build_history")) +
           " -o " + ssh.bash_path(output_file) +
           (if (rev == "") "" else " -r " + Bash.string(rev)) + " " +
           options + afp_options + " " + ssh.bash_path(isabelle_repos_other) + " " + args,