X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=sync-all;h=7ccc71d221650a8c0fba70b9310a52c2cb223f63;hb=71c0b5f5ab9d288f048eabf52da3a84be77db71d;hp=2d2a2cdcd80e2cd4e05ed494f3aaf5b919c9fae9;hpb=0859155da9069718866694aadef1e858445e01c8;p=ghc-hetmet.git diff --git a/sync-all b/sync-all index 2d2a2cd..7ccc71d 100755 --- a/sync-all +++ b/sync-all @@ -68,9 +68,6 @@ my $ignore_failure = 0; my $checked_out_flag = 0; my $get_mode; -# Flags specific to a particular command -my $local_repo_unnecessary = 0; - my %tags; # Figure out where to get the other repositories from. @@ -286,25 +283,25 @@ 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; } - - # The first time round the loop, default the get-mode - if ($scm eq "darcs" && not defined($get_mode)) { - warning("adding --partial, to override use --complete"); - $get_mode = "--partial"; - } - - # The only command that doesn't need a repo - $local_repo_unnecessary = 1; - + # Note that we use "." as the path, as $localpath # doesn't exist yet. if ($scm eq "darcs") { + # The first time round the loop, default the get-mode + if (not defined($get_mode)) { + warning("adding --partial, to override use --complete"); + $get_mode = "--partial"; + } scm (".", $scm, "get", $get_mode, $path, $localpath, @args); } else { scm (".", $scm, "clone", $path, $localpath, @args); + scm ($localpath, $scm, "config", "core.ignorecase", "true"); } next; } @@ -392,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"; @@ -429,6 +430,7 @@ Supported commands: * remote rm * remote set-url [--push] * grep + * clean * reset * config