Определите, какой кросс-компилятор работает

Я использую VS2013 и пользовательский SDK WEC2013 для компиляции программы для устройства WEC2013 (ARM). Компилятор является частью SDK. Теперь я испытываю разное поведение компиляции на двух разных ПК.

1. Компилятор помещает выходные файлы .tlog в тот же каталог, что и выходные файлы .ob на ПК A. На ПК B я нахожу эти файлы .tlog в отдельном каталоге. ProjectName.SDK_Name.tlog,

2. Компилятор на ПК A записывает файлы vc110.pdb а также vc110.idb в месте, где создаются файлы .obj. На ПК Б я нахожу вместо vc120.pdb а также vc120.idb на том же месте.

3. Функция Code Analysis показывает проблемы в коде на ПК A, но ничего на ПК B.

Похоже, что на обоих ПК работает другой компилятор. vc110.pdb должен генерироваться компилятором, включенным в SDK, поскольку SDK генерируется с этой платформой. vc120.pdb должен генерироваться компилятором VS2013 (внутренняя версия VC 12.0).

• Как я могу определить, какой кросс-компилятор на самом деле работает? Файлы .tlog включают все аргументы компилятора, но не вызов компилятора.
• Как я могу контролировать, какой кросс-компилятор вызывается для компиляции проекта? (.Vcxproj и все исходные файлы идентичны на обоих ПК.)