| 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 b72253d63134446653e9db89dc97ddd6a8518394..4a392b63221dfff56a667f93f9bbf75e8db64c9d 100755
|
| --- a/third_party/android_platform/development/scripts/symbol.py
|
| +++ b/third_party/android_platform/development/scripts/symbol.py
|
| @@ -146,7 +146,8 @@ def FindToolchain():
|
| toolchain_info = (label, platform, target);
|
| if os.path.exists(ToolPath("addr2line", toolchain_info)):
|
| TOOLCHAIN_INFO = toolchain_info
|
| - print "Using toolchain from :" + ToolPath("", TOOLCHAIN_INFO)
|
| + print ("Using toolchain from: "
|
| + + os.path.normpath(ToolPath("", TOOLCHAIN_INFO)))
|
| return toolchain_info
|
|
|
| raise Exception("Could not find tool chain")
|
|
|