| Index: third_party/android_platform/development/scripts/symbol.py
|
| diff --git a/third_party/android_platform/development/scripts/symbol.py b/third_party/android_platform/development/scripts/symbol.py
|
| index 82fb1d79b1fe6e98d60c7f173eece77d65478924..ead0e1abf36a7be03d48fd29459043c706682626 100755
|
| --- a/third_party/android_platform/development/scripts/symbol.py
|
| +++ b/third_party/android_platform/development/scripts/symbol.py
|
| @@ -148,8 +148,7 @@
|
| toolchain_info = (label, platform, target);
|
| if os.path.exists(ToolPath("addr2line", toolchain_info)):
|
| TOOLCHAIN_INFO = toolchain_info
|
| - print ("Using toolchain from: "
|
| - + os.path.normpath(ToolPath("", TOOLCHAIN_INFO)))
|
| + print "Using toolchain from :" + ToolPath("", TOOLCHAIN_INFO)
|
| return toolchain_info
|
|
|
| raise Exception("Could not find tool chain")
|
|
|