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 dcb0e775bffb807da6c3afca6f1c5e7a35ba87da..8540fa7c61259ee834770de0e97b92ee147f4d0f 100755 |
--- a/third_party/android_platform/development/scripts/symbol.py |
+++ b/third_party/android_platform/development/scripts/symbol.py |
@@ -452,6 +452,9 @@ def CallAddr2LineForSet(lib, unique_addrs): |
symbols = SYMBOLS_DIR + lib |
+ if not os.path.splitext(symbols) in ['', '.so', '.apk']: |
Primiano Tucci (use gerrit)
2015/06/10 17:37:19
Hmm I think you want [1] here, this is going to sk
Bernhard Bauer
2015/06/10 17:40:03
Durrr. Indeed! Done.
|
+ return None |
+ |
if not os.path.isfile(symbols): |
return None |