also handle .bin files in the windows symbol code

Change-Id: I85b0490c515987d56e04d0e5b42111c52bbabbc3

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