| commit | 3140c7e495d5237f5d3d87ad2eb7789ec9af895f | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Mon Jul 23 19:00:14 2018 -0700 |
| committer | android-build-merger <android-build-merger@google.com> | Mon Jul 23 19:00:14 2018 -0700 |
| tree | 4daeca3de4592d559dade4102a05d5590bbfe304 | |
| parent | b0ed71b31856b4261c5e31107d69a28efbba837e [diff] | |
| parent | 3aa9457410578a271b475c30a7cbd12f2651d260 [diff] |
Merge "pid: switch to pgrep." am: 3aa9457410 Change-Id: Ie2cbb889773651c922095a7fa7ae983c8431b1d8