Commit 91bb651a authored by Simon Marlow's avatar Simon Marlow

Merge branch 'master' of /home/simonmar/ghc-git/.

parents ef344a11 78946b2d
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment