Index: scripts/internal/embed_srcserver_info.bat =================================================================== diff -u -N -re53e822ded434e64c531cd6504758d2b74b987a5 -r97b52ad5431de3a7cd67e180c428bc653318573c --- scripts/internal/embed_srcserver_info.bat (.../embed_srcserver_info.bat) (revision e53e822ded434e64c531cd6504758d2b74b987a5) +++ scripts/internal/embed_srcserver_info.bat (.../embed_srcserver_info.bat) (revision 97b52ad5431de3a7cd67e180c428bc653318573c) @@ -19,19 +19,19 @@ goto error ) -SET _command=call "%SVNINDEXCMD%" /debug /source=%MainProjectDir%\src\ictranslate;%MainProjectDir%\src\libictranslate;%MainProjectDir%\src\libicpf;%MainProjectDir%\src /symbols=%MainProjectDir%\bin\release +SET _command=call "%SVNINDEXCMD%" /debug /source=%MainProjectDir%\src\ictranslate;%MainProjectDir%\src\libictranslate;%MainProjectDir%\src\libicpf;%MainProjectDir%\src;%MainProjectDir%\ext\sqlite3 /symbols=%MainProjectDir%\bin\release !_command! >"%TmpDir%\command.log" if errorlevel 1 ( echo ERROR: Error encountered while embedding source server information. See the log below: type "%TmpDir%\command.log" exit /b 1 ) -rem We expect all pdbs to be modified (currently 12 of them - 6/architecture) +rem We expect all pdbs to be modified (currently 14 of them - 7/architecture) SET IndexRes=Undefined SET _command=type "%TmpDir%\command.log" for /f %%a in ('!_command! ^| find /c "wrote"') do set IndexRes=%%a -if NOT "!IndexRes!" == "12" ( +if NOT "!IndexRes!" == "14" ( echo Some source server information has not been embedded. See the log below: type "%TmpDir%\command.log" exit /b 1