projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of /Users/benl/devel/ghc/ghc-head
[ghc-hetmet.git]
/
sync-all
diff --git
a/sync-all
b/sync-all
index
06c183a
..
7ccc71d
100755
(executable)
--- a/
sync-all
+++ b/
sync-all
@@
-389,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";
@@
-426,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