X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=sync-all;h=5dc6a40953d7b78a7323d34635ffbcf3d53f6ea1;hb=be30b4db046a78a1822d9a4bc245b7943949337b;hp=3ccbc8620eaffaf0609c1bda88dc2b736f2996fb;hpb=5e060e6653ca7aba825aeaa92a1b24d218d27fc2;p=ghc-hetmet.git

diff --git a/sync-all b/sync-all
index 3ccbc86..5dc6a40 100755
--- a/sync-all
+++ b/sync-all
@@ -377,6 +377,12 @@ sub scmall {
             }
             scm ($localpath, $scm, @scm_args, @args);
         }
+        elsif ($command =~ /^checkout$/) {
+            # Not all repos are necessarily branched, so ignore failure
+            $ignore_failure = 1;
+            scm ($localpath, $scm, "checkout", @args)
+                unless $scm eq "darcs";
+        }
         elsif ($command =~ /^grep$/) {
             # Hack around 'git grep' failing if there are no matches
             $ignore_failure = 1;
@@ -423,6 +429,7 @@ Supported commands:
  * remote add <branch-name>
  * remote rm <branch-name>
  * remote set-url [--push] <branch-name>
+ * checkout
  * grep
  * clean
  * reset