| 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"
|
|
|