X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=sync-all;h=7ccc71d221650a8c0fba70b9310a52c2cb223f63;hb=841e81e28f8cc711f624fdca122219a5bbde2fae;hp=a7b579ed99254a65479509db0d8d38a63d109a76;hpb=272466d88e4311a1afe066755b88fd5cf782b255;p=ghc-hetmet.git

diff --git a/sync-all b/sync-all
index a7b579e..7ccc71d 100755
--- a/sync-all
+++ b/sync-all
@@ -283,6 +283,9 @@ sub scmall {
             if (-d $localpath) {
                 warning("$localpath already present; omitting")
                     if $localpath ne ".";
+                if ($scm eq "git") {
+                    scm ($localpath, $scm, "config", "core.ignorecase", "true");
+                }
                 next;
             }
 
@@ -386,6 +389,10 @@ sub scmall {
             scm ($localpath, $scm, "grep", @args)
                 unless $scm eq "darcs";
         }
+        elsif ($command =~ /^clean$/) {
+            scm ($localpath, $scm, "clean", @args)
+                unless $scm eq "darcs";
+        }
         elsif ($command =~ /^reset$/) {
             scm ($localpath, $scm, "reset", @args)
                 unless $scm eq "darcs";
@@ -423,6 +430,7 @@ Supported commands:
  * remote rm <branch-name>
  * remote set-url [--push] <branch-name>
  * grep
+ * clean
  * reset
  * config