Index: tools/android-run.py |
diff --git a/tools/android-run.py b/tools/android-run.py |
index 1693c5b064b9008a29a50140b9c521312f213fb5..dc1359883a17dec7bcc7739cba4f3b23c1798a63 100755 |
--- a/tools/android-run.py |
+++ b/tools/android-run.py |
@@ -88,7 +88,7 @@ def Main(): |
print("Usage: %s <command-to-run-on-device>" % sys.argv[0]) |
return 1 |
workspace = abspath(join(dirname(sys.argv[0]), '..')) |
- android_workspace = os.getenv("ANDROID_V8", "/data/local/v8") |
+ android_workspace = os.getenv("ANDROID_V8", "/data/local/tmp/v8") |
args = [Escape(arg) for arg in sys.argv[1:]] |
script = (" ".join(args) + "\n" |
"case $? in\n" |