clarified: a variant of -i is the default, but its output is not as precise as it might seem;
authorwenzelm
Mon Oct 03 16:15:59 2016 +0200 (2016-10-03)
changeset 64020355b78441650
parent 64005 f6e965cf1617
child 64021 1e23caac8757
clarified: a variant of -i is the default, but its output is not as precise as it might seem;
src/Pure/General/mercurial.scala
     1.1 --- a/src/Pure/General/mercurial.scala	Mon Oct 03 12:39:03 2016 +0200
     1.2 +++ b/src/Pure/General/mercurial.scala	Mon Oct 03 16:15:59 2016 +0200
     1.3 @@ -40,7 +40,7 @@
     1.4        command("heads " + options + opt_template(template)).check.out_lines
     1.5  
     1.6      def identify(rev: String = "", options: String = ""): String =
     1.7 -      command("id -i " + options + opt_rev(rev)).check.out_lines.headOption getOrElse ""
     1.8 +      command("id " + options + opt_rev(rev)).check.out_lines.headOption getOrElse ""
     1.9  
    1.10      def manifest(rev: String = "", options: String = ""): List[String] =
    1.11        command("manifest " + options + opt_rev(rev)).check.out_lines