src/Pure/Admin/isabelle_cronjob.scala
changeset 64157 3e4400f21310
parent 64156 01716e3c3e68
child 64162 03057a8fdd1f
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:24:47 2016 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:30:48 2016 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4      using(Mercurial.open_repository(root))(hg =>
     1.5        {
     1.6          hg.pull(options = "-q")
     1.7 -        hg.identify("tip")
     1.8 +        hg.identify("tip", options = "-i")
     1.9        })
    1.10  
    1.11