# HG changeset patch
# User wenzelm
# Date 1520086176 -3600
# Node ID d2fe32ebe3c7af62729c2d55bfe7b0b412516705
# Parent  208235e594f64ac173cd3944b189ce382cc86f98
clarified self_update: imitate visible directory state on remote side;

diff -r 208235e594f6 -r d2fe32ebe3c7 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sat Mar 03 14:54:56 2018 +0100
+++ b/src/Pure/Admin/build_history.scala	Sat Mar 03 15:09:36 2018 +0100
@@ -529,9 +529,8 @@
 
     if (self_update) {
       val hg = Mercurial.repository(Path.explode("~~"))
-      val self_rev = hg.id()
-      hg.push(self_hg.root_url, rev = self_rev, force = true)
-      self_hg.update(rev = self_rev, clean = true)
+      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)