diff options
| author | Jeff Sharkey <jsharkey@android.com> | 2013-05-07 17:45:24 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2013-05-07 17:45:24 +0000 |
| commit | 1d0608f9c5d04ee0cd106e3bd80c41be7444046f (patch) | |
| tree | 710a35d347a08e41c20c68f795ebd94c1e1ebe0c | |
| parent | b4314f15346b05eed956c979c7d05f4732caaae3 (diff) | |
| parent | ba5fc8e59397ff2d986681457ed590742ce522e8 (diff) | |
| download | build-tools_r22.tar.gz | |
Merge "sepgrep -- function to grep SELinux policy files."tools_r22
| -rw-r--r-- | envsetup.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/envsetup.sh b/envsetup.sh index 63a29e9182..70cb2de757 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -882,6 +882,11 @@ function mangrep() find . -name .repo -prune -o -name .git -prune -o -path ./out -prune -o -type f -name 'AndroidManifest.xml' -print0 | xargs -0 grep --color -n "$@" } +function sepgrep() +{ + find . -name .repo -prune -o -name .git -prune -o -path ./out -prune -o -name sepolicy -type d -print0 | xargs -0 grep --color -n -r --exclude-dir=\.git "$@" +} + case `uname -s` in Darwin) function mgrep() |