You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
677 B
Batchfile
37 lines
677 B
Batchfile
@echo off
|
|
|
|
pushd %~dp0%
|
|
|
|
rmdir /S /q build_web
|
|
mkdir build_web
|
|
|
|
@REM set FLAGS=-fsanitize=undefined -fsanitize=address
|
|
set FLAGS=-O0 -g -DDEVTOOLS
|
|
set OUTPUT_FOLDER=build_web
|
|
|
|
|
|
if "%1" == "NO_VALIDATION" (
|
|
echo Disabling graphics validation...
|
|
set FLAGS=%FLAGS% -DNDEBUG
|
|
)
|
|
|
|
call build_web_common.bat || goto :error
|
|
|
|
@echo off
|
|
|
|
if "%1" == "NO_VALIDATION" (
|
|
echo Validation turned off
|
|
) else (
|
|
echo If you want to turn graphics validation off to make web debug build faster, provide a command line argument called "NO_VALIDATION" to this build script
|
|
)
|
|
|
|
goto :success
|
|
|
|
:error
|
|
echo Failed to build
|
|
|
|
:success
|
|
set "returncode=%ERRORLEVEL%"
|
|
popd
|
|
exit /B %returncode%
|