annotate util-src/make.bat @ 13251:7748dfb201de

core.portmanager: Hint at HTTP servers for conflicts over port 443 Since 443 is just as much a web port as port 80 these days, if not more. What's with port 81 here?
author Kim Alvefur <zash@zash.se>
date Sat, 29 Jul 2023 02:00:55 +0200
parents 5b5732d65792
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
446
5b5732d65792 Added make.bat for windows
Waqas Hussain <waqas20@gmail.com>
parents:
diff changeset
1 @nmake /nologo /f Makefile.win %*