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?  (Dave Page <dpage@pgadmin.org>)
Список 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 по дате отправления:

Предыдущее
От: Dave Page
Дата:
Сообщение: pgAdmin 4 commit: Timestamp servers are few and far between now :-/
Следующее
От: Nikhil Mohite
Дата:
Сообщение: [pgAdmin][RM-6120]: Adding/updating user should not allow to add an older date in account expires.