From 4964c6dc045c5fda145d079fbd6cb0f6d00c8fa0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Fri, 11 Aug 2023 01:16:08 +0200 Subject: [PATCH] all means extras too --- MAKE.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MAKE.bat b/MAKE.bat index c8ff1c6..ed8331e 100644 --- a/MAKE.bat +++ b/MAKE.bat @@ -559,7 +559,7 @@ set rc=0 if "%1"=="noeditor" set "editor=no" && goto loop if "%1"=="hello" set "hello=yes" && goto loop if "%1"=="editor" set "editor=yes" && set "hello=no"&& goto loop - if "%1"=="all" set "v4k=yes" && set "demos=yes" && set "editor=yes" && set "hello=yes" && goto loop + if "%1"=="all" set "v4k=yes" && set "demos=yes" && set "extras=yes" && set "editor=yes" && set "hello=yes" && goto loop if "%1"=="tcc" set "cc=%1" && goto loop if "%1"=="cl" set "cc=%1" && goto loop