tree 1f52ed23724b0309bb37b93e3a877bab8ae77bbf
parent e52d29e43a18d4f1c25c725c9347701764dd0858
author Alex Fandrianto <alexfandrianto@google.com> 1448416203 -0800
committer Alex Fandrianto <alexfandrianto@google.com> 1448416203 -0800

mojo/v23proxy: Adjust for the new mojo profile

The mojo-dev profile was mostly fine with this change.
the mojo profile just needed to pass --shell-path along.

Change-Id: Ie725a81c7e5bd7f83b1cc6605a1bdd01794d1e7a