aspnet/KRuntime — pull request #872 by victorhurdugaci (2014-11-07 21:41:23+00:00)
Title: Give a warning in the KRE trace log when PDB generation is not supported

Fixes https://github.com/aspnet/KRuntime/issues/824

Please review @davidfowl