X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=sync-all;h=06c183af255fea7d8d86f4e4311add453bf90498;hp=a7b579ed99254a65479509db0d8d38a63d109a76;hb=11b33eaeaef39fcba8ee9258213068ed90362aa7;hpb=272466d88e4311a1afe066755b88fd5cf782b255

diff --git a/sync-all b/sync-all
index a7b579e..06c183a 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;
             }