Reuse hallow.exe if exists.

various minor improvements.
This commit is contained in:
2019-03-03 13:37:05 +00:00
parent 78603aad14
commit 91720afd41
2 changed files with 32 additions and 28 deletions
+1 -1
View File
@@ -297,7 +297,7 @@ endiff
remtrace get GDI+ for platforms that don't have it
cdd %EIFFEL_SRC\tools
if EXIST %INIT_DIR%\isesvn\tools\gdiplus (
xcopy %INIT_DIR%\isesvn\tools\gdiplus gdiplus /E /I
xcopy %INIT_DIR%\isesvn\tools\gdiplus gdiplus /E /I /Y
) else (
co %DEFAULT_ISE_SVN%/Src/tools/gdiplus gdiplus
)