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 'trac_5025' of https://github.com/thoughtpolice/ghc
[ghc-hetmet.git]
/
sync-all
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);
}
}
@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";
}
@@
-406,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