From 3f825963973814530752e451fc7155fc054923bd Mon Sep 17 00:00:00 2001 From: Markus Mohrhard Date: Mon, 23 May 2016 22:46:28 +0200 Subject: also handle .bin files in the windows symbol code Change-Id: I85b0490c515987d56e04d0e5b42111c52bbabbc3 --- bin/symbolstore.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin') 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 -- cgit