projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update .gitignore for the extra-gcc-opts -> settings change
[ghc-hetmet.git]
/
sync-all
diff --git
a/sync-all
b/sync-all
index
a7b579e
..
7ccc71d
100755
(executable)
--- a/
sync-all
+++ b/
sync-all
@@
-283,6
+283,9
@@
sub scmall {
if (-d $localpath) {
warning("$localpath already present; omitting")
if $localpath ne ".";
if (-d $localpath) {
warning("$localpath already present; omitting")
if $localpath ne ".";
+ if ($scm eq "git") {
+ scm ($localpath, $scm, "config", "core.ignorecase", "true");
+ }
next;
}
next;
}
@@
-386,6
+389,10
@@
sub scmall {
scm ($localpath, $scm, "grep", @args)
unless $scm eq "darcs";
}
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";
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
* remote rm <branch-name>
* remote set-url [--push] <branch-name>
* grep
+ * clean
* reset
* config
* reset
* config