2017-11-15 23:57:21 +00:00
|
|
|
@echo off
|
|
|
|
|
|
2018-03-09 23:19:32 +00:00
|
|
|
set OPTS=/W4 /wd4310 /wd4100 /wd4201 /wd4505 /wd4996 /wd4127 /wd4510 /wd4512 /wd4610 /wd4390 /WX
|
|
|
|
|
set OPTS=%OPTS% /GR- /EHa- /nologo /FC
|
2017-11-15 23:57:21 +00:00
|
|
|
|
|
|
|
|
pushd ..\build
|
|
|
|
|
cl %OPTS% ..\code\4coder_metadata_generator.cpp /Zi /Femetadata_generator
|
|
|
|
|
popd
|
|
|
|
|
|
2018-03-09 23:19:32 +00:00
|
|
|
set code_home=%~dp0
|
|
|
|
|
if %code_home:~-1%==\ (set code_home=%code_home:~0,-1%)
|
|
|
|
|
..\build\metadata_generator -R "%code_home%" "%code_home%\*"
|
2017-11-15 23:57:21 +00:00
|
|
|
|
|
|
|
|
|
