summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorMarkus Mohrhard <markus.mohrhard@googlemail.com>2016-05-23 22:46:28 +0200
committerMarkus Mohrhard <markus.mohrhard@googlemail.com>2016-05-23 23:00:25 +0200
commit3f825963973814530752e451fc7155fc054923bd (patch)
treec4507e8b50a7c47590f3a42fe62bde69dd841ee5 /bin
parent7a4bd998e900c7f7a28f9068b97707ef76c99b85 (diff)
also handle .bin files in the windows symbol code
Change-Id: I85b0490c515987d56e04d0e5b42111c52bbabbc3
Diffstat (limited to 'bin')
-rwxr-xr-xbin/symbolstore.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/symbolstore.py b/bin/symbolstore.py
index 941f44802174..823be626cce6 100755
--- a/bin/symbolstore.py
+++ b/bin/symbolstore.py
@@ -485,7 +485,7 @@ class Dumper_Win32(Dumper):
or exe files with the same base name next to them."""
if file.endswith(".pdb"):
(path,ext) = os.path.splitext(file)
- if os.path.isfile(path + ".exe") or os.path.isfile(path + ".dll"):
+ if os.path.isfile(path + ".exe") or os.path.isfile(path + ".dll") or os.path.isfile(path + ".bin"):
return True
return False