clone_packages/clone_all_packages.pl
changeset 41 0c8b7325c98e
parent 40 674034f6180c
child 44 ddf62a543fb6
--- a/clone_packages/clone_all_packages.pl	Wed Aug 26 17:34:08 2009 +0100
+++ b/clone_packages/clone_all_packages.pl	Wed Aug 26 17:46:12 2009 +0100
@@ -240,6 +240,10 @@
     
     print "Updating $destdir from $package...\n";
     $ret = do_system("hg", "pull", @pull_options, "-R", $path, $repo_url, @rev_options);
+    if ($ret == 0 && ! $mirror)
+      {
+      $ret = do_system("hg", "update", "-R", $path, @rev_options)
+      }
     }
   else
     {