src/Pure/Admin/ci_profile.scala

--- a/src/Pure/Admin/ci_profile.scala	Sat Oct 15 21:02:39 2016 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Sat Oct 15 21:08:04 2016 +0200
@@ -72,7 +72,7 @@
 
 
   final def hg_id(path: Path): String =
-    Mercurial.repository(path).identify(options = "-i")
+    Mercurial.repository(path).id()
 
   final def print_section(title: String): Unit =
     println(s"\n=== $title ===\n")