commit 756fd558ac6453e7927919c27b42c6760d808c86
author Jungho Ahn <jhahn@google.com> Mon Feb 29 17:41:01 2016 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Mon Feb 29 17:41:01 2016 +0000
tree 043813f2d730b39fb54883ada0ccad0c6ee16ac3
parent 9977af09e3ffc5117715f3d2406e80d50bd678f5
parent b421067798b6023b17742decb769c9e23c98d3d0

Merge "discovery: a new discovery api (mojo)"

mojo.mk

diff --git a/mojo.mk b/mojo.mk
index 14ef3db..e6b7b27 100644
--- a/mojo.mk
+++ b/mojo.mk
@@ -79,7 +79,10 @@
 	$(MOJO_SDK)/src/mojo/public/tools/bindings/mojom_bindings_generator.py $1 -I $2 -d $2 -o $3 -g $4 $5
 endef
 
+# On Linux we need to use a different $HOME directory for each mojo run
+# to avoid collision of the cache storage.
 define MOJO_RUN
+	set -e; HOME=$$(mktemp -d); trap "rm -rf $$HOME" EXIT; \
 	$(MOJO_DEVTOOLS)/mojo_run --config-file $(CURDIR)/mojoconfig --shell-path $(MOJO_SHELL) $(MOJO_SHELL_FLAGS) $(MOJO_ANDROID_FLAGS) $1
 endef