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
diff --git a/Makefile b/Makefile
index 540e2b5..a53b715 100644
--- a/Makefile
+++ b/Makefile
@@ -120,7 +120,7 @@
# See https://github.com/domokit/mojo/issues/386
rm -f lib/gen/mojom/$(notdir $@)
-gen/go/src/mojom/v23proxy/v23proxy.mojom.go: | mojo-env-check
+gen/go/src/mojom/v23proxy/v23proxy.mojom.go: mojom/mojom/v23proxy.mojom | mojo-env-check
$(call MOJOM_GEN,$<,mojom,gen,go)
gofmt -w $@
@@ -145,6 +145,7 @@
define RUN_MOJO_SHELL
$(MOJO_DEVTOOLS)/mojo_run \
$1 \
+ --shell-path $(MOJO_SHELL) \
$(ANDROID_FLAG) \
$(DEVICE_FLAG) \
--no-config-file \
@@ -229,3 +230,4 @@
clean-dart:
rm -rf lib/gen
rm -rf dart-examples/echo/lib/gen
+ rm -rf dart-examples/fortune/lib/gen