src/Pure/Admin/build_history.scala

         progress_stdout = progress.echo_if(echo, _),
         progress_stderr = progress.echo_if(echo, _),
         strict = strict).check
 
     if (self_update) {
-      val hg = Mercurial.repository(Path.ISABELLE_HOME)
+      val hg = Mercurial.self_repository()
       hg.push(self_hg.root_url, force = true)
       self_hg.update(rev = hg.parent(), clean = true)
 
       execute("bin/isabelle", "components -I")
       execute("bin/isabelle", "components -a", echo = true)