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 /home/simonmar/ghc-git/.
[ghc-hetmet.git]
/
sync-all
diff --git
a/sync-all
b/sync-all
index
caaed50
..
d20f4e7
100755
(executable)
--- a/
sync-all
+++ b/
sync-all
@@
-262,7
+262,6
@@
sub scmall {
}
push(@args, @_);
}
push(@args, @_);
- print "args: @args\n";
for $line (@packages) {
for $line (@packages) {
@@
-354,6
+353,11
@@
sub scmall {
@scm_args = ("remote", "set-url", $branch_name, $path);
}
}
@scm_args = ("remote", "set-url", $branch_name, $path);
}
}
+ elsif ($command =~ /^grep$/) {
+ @scm_args = ("grep");
+ # Hack around 'git grep' failing if there are no matches
+ $ignore_failure = 1;
+ }
else {
die "Unknown command: $command";
}
else {
die "Unknown command: $command";
}
@@
-407,6
+411,7
@@
Supported commands:
* remote add <branch-name>
* remote rm <branch-name>
* remote set-url [--push] <branch-name>
* remote add <branch-name>
* remote rm <branch-name>
* remote set-url [--push] <branch-name>
+ * grep
Available package-tags are:
END
Available package-tags are:
END