Allow mojo_debug gdb attach to search symbols in multiple directories.

Allow mojo_debug gdb attach to search symbols in multiple directories.

This fixes domokit/devtools#38.

R=qsr@google.com

Committed: https://chromium.googlesource.com/external/mojo/+/1e331d28863d4b6a4084c22dd2447c5718c40462

[etiennej, 2015-09-03 09:58:03]

Patchset #1 (id:1) has been deleted

[etiennej, 2015-09-03 10:00:00]

Patchset #1 (id:20001) has been deleted

[etiennej, 2015-09-03 10:00:21]

etiennej@chromium.org changed reviewers:
+ ppi@chromium.org, qsr@chromium.org

[qsr (NOT THE RIGHT qsr), 2015-09-03 10:34:03]

qsr@google.com changed reviewers:
+ qsr@google.com

[qsr (NOT THE RIGHT qsr), 2015-09-03 10:34:04]

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/an...
File mojo/devtools/common/android_gdb/session.py (right):

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/an...
mojo/devtools/common/android_gdb/session.py:78: logging.fatal("Please pass a
valid build directory")
The message might need to be changed, no?

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/mo...
File mojo/devtools/common/mojo_debug (right):

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/mo...
mojo/devtools/common/mojo_debug:311: help='List of paths to build directories,
separated by commas')
Do you think it is better to do it this way, instead of allowing to set this
argument multiple times?

[etiennej, 2015-09-03 11:45:44]

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/an...
File mojo/devtools/common/android_gdb/session.py (right):

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/an...
mojo/devtools/common/android_gdb/session.py:78: logging.fatal("Please pass a
valid build directory")
On 2015/09/03 10:34:04, qsr (NOT THE RIGHT qsr) wrote:
> The message might need to be changed, no?

Done.

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/mo...
File mojo/devtools/common/mojo_debug (right):

https://codereview.chromium.org/1325593004/diff/40001/mojo/devtools/common/mo...
mojo/devtools/common/mojo_debug:311: help='List of paths to build directories,
separated by commas')
On 2015/09/03 10:34:04, qsr (NOT THE RIGHT qsr) wrote:
> Do you think it is better to do it this way, instead of allowing to set this
> argument multiple times?

Good point. I also changed the device stack command that I modified in a similar
way earlier.

[qsr (NOT THE RIGHT qsr), 2015-09-03 11:55:15]

lgtm

[etiennej, 2015-09-03 11:55:59]

Committed patchset #2 (id:60001) manually as
1e331d28863d4b6a4084c22dd2447c5718c40462 (presubmit successful).