fixed path

This commit is contained in:
2018-12-12 13:48:06 +01:00
parent 3e37a7b72e
commit 5f228bad68

View File

@@ -13,8 +13,8 @@ iff not defined NO_COMPILE then
safe_md headers safe_md headers
REM "We keep a copy of vendors specific header files at EiffelSoftware as they cannot be" REM "We keep a copy of vendors specific header files at EiffelSoftware as they cannot be"
REM "redistributed freely." REM "redistributed freely."
if EXIST %INIT_DIR%\isesvn\library\headers\headers.tar.gz ( if EXIST %INIT_DIR%\isesvn\library\headers.tar.gz (
copy %INIT_DIR%\isesvn\library\headers\headers.tar.gz headers\headers.tar.gz copy %INIT_DIR%\isesvn\library\headers.tar.gz headers\headers.tar.gz
) else { ) else {
exprtfile %DEFAULT_ISE_SVN%/Src/library/headers.tar.gz > headers\headers.tar.gz exprtfile %DEFAULT_ISE_SVN%/Src/library/headers.tar.gz > headers\headers.tar.gz
) )