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