Is there a mistake in line 22 of Make.bat? - Mailing list pgadmin-hackers

From Huang, Jun
Subject Is there a mistake in line 22 of Make.bat?
Date
Msg-id 3e6e541367894c4c95ac17f8050aad96@G08CNEXMBPEKD06.g08.fujitsu.local
Whole thread Raw
Responses Re: Is there a mistake in line 22 of Make.bat?
List 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



Attachment

pgadmin-hackers by date:

Previous
From: Dave Page
Date:
Subject: pgAdmin 4 commit: Timestamp servers are few and far between now :-/
Next
From: Nikhil Mohite
Date:
Subject: [pgAdmin][RM-6120]: Adding/updating user should not allow to add an older date in account expires.