Updated config files.

This commit is contained in:
2018-12-11 18:11:56 +01:00
parent f0ea7b8cd3
commit 176fa3f4ad
5 changed files with 16 additions and 9 deletions

View File

@@ -7,7 +7,11 @@ endiff
:: Set default environment for any machine here.
iff not defined WORK_DIR then
set WORK_DIR=%~dp0..\..\_DELIV
set WORK_DIR=%~dp0..\..\DELIV
endiff
iff not defined ISE_EIFFEL then
set ISE_EIFFEL=%INIT_DIR%\bin\eiffel_%ISE_PLATFORM%
endiff