| commit | a521a37da9214ecc6400b7caf00b76869b1dc741 | [log] [tgz] |
|---|---|---|
| author | Nick Kralevich <nnk@google.com> | Wed Jul 15 19:54:03 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jul 15 19:54:04 2015 +0000 |
| tree | ba1557da2027413173f494923d45ccbfbb3807eb | |
| parent | 2d0ec89357e29138abc28f65876e4aaa208f961c [diff] | |
| parent | 23a298b1907d9e4ff2c556dbbd76aee9a60871fa [diff] |
Merge "mgrep: add output to environment commands"
diff --git a/envsetup.sh b/envsetup.sh index 65a536e..62802df 100644 --- a/envsetup.sh +++ b/envsetup.sh
@@ -15,6 +15,7 @@ - jgrep: Greps on all local Java files. - resgrep: Greps on all local res/*.xml files. - mangrep: Greps on all local AndroidManifest.xml files. +- mgrep: Greps on all local Makefiles files. - sepgrep: Greps on all local sepolicy files. - sgrep: Greps on all local source files. - godir: Go to the directory containing a file.