X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=sync-all;h=d20f4e7ff6f05a439e4ed7c700c9f869d054ada8;hb=6caa417ded740fb8eaa50669269e38c8129092f0;hp=c4ecfa3d4e9b70b7d5f06657b9fcccf7811b308a;hpb=ef344a11a5d48f2eccf07fa4dce8e62879e6ff1e;p=ghc-hetmet.git

diff --git a/sync-all b/sync-all
index c4ecfa3..d20f4e7 100755
--- 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