From a9de24ab170c4214d2d7db47342b075fcd4a11c5 Mon Sep 17 00:00:00 2001
From: Rob Percival <robpercival@google.com>
Date: Thu, 2 Jun 2016 16:58:09 +0100
Subject: [PATCH] Look for PDB file with two possible names

PDB may either be named "foo.pdb" or "foo.exe.pdb".
---
 GoogleTestRunner/DiaResolver.fs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GoogleTestRunner/DiaResolver.fs b/GoogleTestRunner/DiaResolver.fs
index cb40785..ad66501 100644
--- a/GoogleTestRunner/DiaResolver.fs
+++ b/GoogleTestRunner/DiaResolver.fs
@@ -42,7 +42,7 @@ let private findSymbolsFromExecutable symbols symbolFilterString (logger : IMess
 
     let sw = System.Diagnostics.Stopwatch.StartNew()
     let diaDataSource = DiaSourceClass()
-    let path = Path.ReplaceExtension(executable, ".pdb")
+    let path = [Path.ReplaceExtension(executable, ".pdb"); executable + ".pdb"] |> Seq.find File.Exists
 
     DiaMemoryStream(path) |> diaDataSource.loadDataFromIStream
     let diaSession = diaDataSource.openSession()