src/Pure/General/mercurial.scala
changeset 67755 208235e594f6
parent 67068 46ce32fd5f53
child 67782 7e223a05e6d8
equal deleted inserted replaced
67754:197366313aaf 67755:208235e594f6
   112       hg.command("manifest", opt_rev(rev), options).check.out_lines
   112       hg.command("manifest", opt_rev(rev), options).check.out_lines
   113 
   113 
   114     def log(rev: String = "", template: String = "", options: String = ""): String =
   114     def log(rev: String = "", template: String = "", options: String = ""): String =
   115       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
   115       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
   116 
   116 
       
   117     def parent(): String = log(rev = "p1()", template = "{node|short}")
       
   118 
   117     def push(remote: String = "", rev: String = "", force: Boolean = false, options: String = "")
   119     def push(remote: String = "", rev: String = "", force: Boolean = false, options: String = "")
   118     {
   120     {
   119       hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options).
   121       hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options).
   120         check_rc(rc => rc == 0 | rc == 1)
   122         check_rc(rc => rc == 0 | rc == 1)
   121     }
   123     }