projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
ef344a1
)
Merge branch 'master' of /home/simonmar/ghc-git/.
author
Simon Marlow
<marlowsd@gmail.com>
Wed, 6 Apr 2011 10:27:03 +0000
(11:27 +0100)
committer
Simon Marlow
<marlowsd@gmail.com>
Wed, 6 Apr 2011 10:27:03 +0000
(11:27 +0100)
sync-all
patch
|
blob
|
history
diff --git
a/sync-all
b/sync-all
index
c4ecfa3
..
d20f4e7
100755
(executable)
--- a/
sync-all
+++ b/
sync-all
@@
-353,6
+353,11
@@
sub scmall {
@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";
}
@@
-406,6
+411,7
@@
Supported commands:
* remote add <branch-name>
* remote rm <branch-name>
* remote set-url [--push] <branch-name>
+ * grep
Available package-tags are:
END