src/Pure/General/mercurial.scala
changeset 64198 351b8211aef9
parent 64169 3b618d52119e
child 64230 13a97c1d7d22
equal deleted inserted replaced
64197:c43dedbb8118 64198:351b8211aef9
    75       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
    75       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
    76 
    76 
    77     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
    77     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
    78       hg.command("pull", opt_rev(rev) + optional(remote), options).check
    78       hg.command("pull", opt_rev(rev) + optional(remote), options).check
    79 
    79 
       
    80     def pull_id(remote: String = ""): String =
       
    81     {
       
    82       hg.pull(remote = remote, options = "-q")
       
    83       hg.identify("tip", options = "-i")
       
    84     }
       
    85 
    80     def update(
    86     def update(
    81       rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "")
    87       rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "")
    82     {
    88     {
    83       hg.command("update",
    89       hg.command("update",
    84         opt_rev(rev) + opt_flag("--clean", clean) + opt_flag("--check", check), options).check
    90         opt_rev(rev) + opt_flag("--clean", clean) + opt_flag("--check", check), options).check