if "isesvn" contains the file from ISE private repo, use them.

This commit is contained in:
2019-03-04 08:58:08 +01:00
parent f9cb7ff160
commit 435c568cbc

View File

@@ -316,10 +316,22 @@ iff not defined NO_COMPILE then
iff not defined NO_ENTERPRISE_BUILD then
remtrace ISE specific files
cdd %EIFFEL_SRC
co %DEFAULT_ISE_SVN%/Src/library/keygen library/keygen
if EXIST %INIT_DIR%\isesvn\library\keygen (
xcopy %INIT_DIR%\isesvn\library\keygen library\keygen /E /I
) else (
co %DEFAULT_ISE_SVN%/Src/library/keygen library/keygen
)
cd tools
co %DEFAULT_ISE_SVN%/Src/tools/activation activation
co %DEFAULT_ISE_SVN%/Src/tools/estudio_enterprise estudio_enterprise
if EXIST %INIT_DIR%\isesvn\tools\activation (
xcopy %INIT_DIR%\isesvn\tools\activation activation /E /I
) else (
co %DEFAULT_ISE_SVN%/Src/tools/activation activation
)
if EXIST %INIT_DIR%\isesvn\tools\estudio_enterprise (
xcopy %INIT_DIR%\isesvn\tools\estudio_enterprise estudio_enterprise /E /I
) else (
co %DEFAULT_ISE_SVN%/Src/tools/estudio_enterprise estudio_enterprise
)
endiff
remtrace Build the normal libraries