| Index: mojo/devtools/common/mojo_run
|
| diff --git a/mojo/devtools/common/mojo_run b/mojo/devtools/common/mojo_run
|
| index a2ac36f4b8e18182655e4ae2379a35a7487efba5..c5450bdf6ac2b67d7a23907df169e2a725c01a40 100755
|
| --- a/mojo/devtools/common/mojo_run
|
| +++ b/mojo/devtools/common/mojo_run
|
| @@ -92,9 +92,11 @@ def main():
|
|
|
| if script_args.verbose:
|
| print 'Running within a Chromium-style checkout.'
|
| - print 'Using the locally built shell at ' + script_args.shell_path
|
| + print ' - using the locally built shell at ' + script_args.shell_path
|
| if script_args.origin_path:
|
| - print 'Using the local origin of ' + script_args.origin_path
|
| + print ' - using the local origin of ' + script_args.origin_path
|
| + if script_args.android:
|
| + print ' - using adb path of ' + script_args.adb_path
|
| elif script_args.verbose:
|
| print 'Running outside a Chromium-style checkout.'
|
|
|
|
|