Re: [PATCH] Change slash to backslash in make.bat

2022-02-18 Thread Aditya Toshniwal
Hi Zhang, Thank you for the contribution. Backslashes can have different meanings sometimes and changing the build scripts which are working since long are not needed. So we can skip this patch. On Wed, Feb 16, 2022 at 9:01 AM zhangj...@fujitsu.com wrote: > Hi, all > > In windows, backslash sho

[PATCH] Change slash to backslash in make.bat

2022-02-15 Thread zhangj...@fujitsu.com
Hi, all In windows, backslash should be used in the path. In Linux, slash should be used in path. But in pgadmin4\make.bat, slash is used in the path. F