Is there a mistake in line 22 of Make.bat?

Поиск
Список
Период
Сортировка
От Huang, Jun
Тема Is there a mistake in line 22 of Make.bat?
Дата
Msg-id 3e6e541367894c4c95ac17f8050aad96@G08CNEXMBPEKD06.g08.fujitsu.local
обсуждение исходный текст
Ответы Re: Is there a mistake in line 22 of Make.bat?
Список pgadmin-hackers
Дерево обсуждения 
Hi,

The following code is line 22 of Make.bat:
    if "%Platform%" == "X86" (

I tried `echo %Platform%` in VS2017 x86 native Tools Command Prompt, the result is "x86"(not "X86").
If it's a mistake, the attached patch adds the changes.


Regrads,
Huang
Вложения

В списке pgadmin-hackers по дате отправления: