src/Pure/General/mercurial.scala
changeset 64408 50bcf976f276
parent 64348 4c253e84ae62
child 64451 cdbfa9f64110
equal deleted inserted replaced
64407:5c5b9d945625 64408:50bcf976f276
   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 = "")
   109     def push(remote: String = "", rev: String = "", force: Boolean = false, options: String = "")
   110     {
   110     {
   111       hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options).
   111       hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options).
   112         check
   112         check_rc(rc => rc == 0 | rc == 1)
   113     }
   113     }
   114 
   114 
   115     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
   115     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
   116       hg.command("pull", opt_rev(rev) + optional(remote), options).check
   116       hg.command("pull", opt_rev(rev) + optional(remote), options).check
   117 
   117