--- a/src/Pure/General/mercurial.scala Sat Jun 17 15:44:31 2017 +0200
+++ b/src/Pure/General/mercurial.scala Sat Jun 17 16:06:54 2017 +0200
@@ -72,7 +72,7 @@
case Some(ssh) => ssh.is_dir(root)
}
if (present) { val hg = repository(root, ssh = ssh); hg.pull(remote = source); hg }
- else clone_repository(source, root, options = "--pull --noupdate", ssh = ssh)
+ else clone_repository(source, root, options = "--noupdate", ssh = ssh)
}
class Repository private[Mercurial](root_path: Path, ssh: Option[SSH.Session])