ci: be more verbose when running make.bat on the CI

This commit is contained in:
Delyan Angelov 2022-02-17 13:23:46 +02:00
parent 07b15a209a
commit 554a689213
No known key found for this signature in database
GPG key ID: 66886C0F12D595ED
2 changed files with 14 additions and 6 deletions

View file

@ -1,5 +1,6 @@
@echo off
setlocal EnableDelayedExpansion EnableExtensions
@setlocal EnableDelayedExpansion EnableExtensions
IF NOT DEFINED VERBOSE_MAKE @echo off
REM Option flags
set /a shift_counter=0