Annotate

util-src/make.bat @ 13821:4aed38a1c971 13.0

certmanager: Remove obsolete index log (replaced by shell command) This information can now be retrieved on-demand using the debug:cert_index() command, so we don't need to log it after every scan (it is rather verbose).
author Matthew Wild <mwild1@gmail.com>
date Thu, 03 Apr 2025 19:47:16 +0100
parent 446:5b5732d65792
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 %*