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