# HG changeset patch
# User wenzelm
# Date 1497708414 -7200
# Node ID 8889aad1ff9245ce9431403ed54ff5d2c4a89a8c
# Parent  5aab14a64a033c54222a9a967dc64d7042f433b2
reverted 94cad7590015: does not help much on Windows;

diff -r 5aab14a64a03 -r 8889aad1ff92 src/Pure/General/mercurial.scala
--- 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])