src/Pure/General/mercurial.scala
changeset 64348 4c253e84ae62
parent 64347 602483aa7818
child 64408 50bcf976f276
equal deleted inserted replaced
64347:602483aa7818 64348:4c253e84ae62
   104       hg.command("manifest", opt_rev(rev), options).check.out_lines
   104       hg.command("manifest", opt_rev(rev), options).check.out_lines
   105 
   105 
   106     def log(rev: String = "", template: String = "", options: String = ""): String =
   106     def log(rev: String = "", template: String = "", options: String = ""): String =
   107       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
   107       hg.command("log", opt_rev(rev) + opt_template(template), options).check.out
   108 
   108 
       
   109     def push(remote: String = "", rev: String = "", force: Boolean = false, options: String = "")
       
   110     {
       
   111       hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options).
       
   112         check
       
   113     }
       
   114 
   109     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
   115     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
   110       hg.command("pull", opt_rev(rev) + optional(remote), options).check
   116       hg.command("pull", opt_rev(rev) + optional(remote), options).check
   111 
   117 
   112     def update(
   118     def update(
   113       rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "")
   119       rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "")