2017-11-15 23:57:21 +00:00
|
|
|
@echo off
|
|
|
|
|
|
|
|
SET OPTS=/W4 /wd4310 /wd4100 /wd4201 /wd4505 /wd4996 /wd4127 /wd4510 /wd4512 /wd4610 /wd4390 /WX
|
|
|
|
SET OPTS=%OPTS% /GR- /EHa- /nologo /FC
|
|
|
|
|
|
|
|
pushd ..\build
|
|
|
|
cl %OPTS% ..\code\4coder_metadata_generator.cpp /Zi /Femetadata_generator
|
|
|
|
popd
|
|
|
|
|
|
|
|
SET CODE_HOME=%~dp0
|
2017-11-22 20:05:58 +00:00
|
|
|
..\build\metadata_generator -R "%CODE_HOME% " "%CODE_HOME% "
|
2017-11-15 23:57:21 +00:00
|
|
|
|
|
|
|
|