DescriptionExtract the shell runner into devtools.
In this patch, mojo/tools/mojo_shell.py is moved to devtools. Default
output paths corresponding to a regular Mojo checkout are inferred, so
that it continues to work out-of-the-box there.
In the next step we will make it easier (in particular, possible) to use
the runner outside of the regular Mojo checkout too (allow to indicate
some paths by hand, allow to run against already installed device Mojo
Shell, etc.)
R=qsr@chromium.org
Committed: https://chromium.googlesource.com/external/mojo/+/524585020ad434dc3b11004f3baa178a310cbf43
Patch Set 1 #Patch Set 2 : #
Total comments: 4
Patch Set 3 : Address Ben's comments. #Patch Set 4 : Update more paths and devtools README. #
Messages
Total messages: 6 (1 generated)
|