| commit | aacbc2318d15557671a664508eaa736baf260243 | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Tue Oct 27 16:45:55 2015 -0700 |
| committer | Josh Gao <jmgao@google.com> | Wed Oct 28 14:22:02 2015 -0700 |
| tree | 1e03ccee07ecc05780ad07871ca751c9ef77d9b7 | |
| parent | 44b84a8e030c26280fbc92c2c9e67750147294e1 [diff] |
Add get_pids helper to gdbrunner. Change-Id: Id685bf740bde382c62a02fa4d6f03717bae91f50