diff --git a/Source/Build/Build.cs b/Source/Build/Build.cs index 685c5fb2..d5bbde66 100644 --- a/Source/Build/Build.cs +++ b/Source/Build/Build.cs @@ -247,13 +247,24 @@ namespace OpenTK.Build List exe_matches = new List(); List dll_matches = new List(); List dll_config_matches = new List(); + List symbol_matches = new List(); Directory.CreateDirectory(BinPath); Directory.CreateDirectory(ExePath); Directory.CreateDirectory(LibPath); Directory.CreateDirectory(ExamplePath); Directory.CreateDirectory(DataPath); - + + FindFiles(SourcePath, "*.pdb", symbol_matches); + FindFiles(SourcePath, "*.mdb", symbol_matches); + foreach (string m in symbol_matches) + { + File.Delete(Path.Combine(LibPath, Path.GetFileName(m))); + File.Copy(m, Path.Combine(LibPath, Path.GetFileName(m))); + File.Delete(Path.Combine(ExamplePath, Path.GetFileName(m))); + File.Copy(m, Path.Combine(ExamplePath, Path.GetFileName(m))); + } + // Move the libraries and the config files. FindFiles(SourcePath, "*.dll", dll_matches); foreach (string m in dll_matches)