| Index: tools/android-run.py
|
| ===================================================================
|
| --- tools/android-run.py (revision 12084)
|
| +++ tools/android-run.py (working copy)
|
| @@ -91,9 +91,10 @@
|
| android_workspace = os.getenv("ANDROID_V8", "/data/local/v8")
|
| args = [Escape(arg) for arg in sys.argv[1:]]
|
| script = (" ".join(args) + "\n"
|
| - "if [ $? -ne 0 ]\n"
|
| - " then echo \"Error returned by test\";\n"
|
| - "fi\n")
|
| + "case $? in\n"
|
| + " 0) break;;\n"
|
| + " *) echo \"Error returned by test\";;\n"
|
| + "esac\n")
|
| script = script.replace(workspace, android_workspace)
|
| script_file = WriteToTemporaryFile(script)
|
| android_script_file = android_workspace + "/" + script_file
|
|
|