Cleaned configuration, and removed duplicated files.

This commit is contained in:
2018-09-24 10:10:45 +02:00
parent 12e9c09911
commit 6ef4f1e8a8
10 changed files with 31 additions and 139 deletions

View File

@@ -1,15 +1,12 @@
echo Load local settings
REM set ISE_PLATFORM=windows
iff not defined ISE_PLATFORM then
set ISE_PLATFORM=win64
endiff
iff not defined ISE_EIFFEL then
set ISE_EIFFEL=C:\DEV\Eiffel\18.05_%ISE_PLATFORM%
endiff
rem set ISE_EC_FLAGS=-full
iff not defined MYSQL then
iff "%ISE_PLATFORM%" == "win64" then
@@ -42,9 +39,3 @@ endiff
rem set PATH=%PATH%;C:\cygwin64\bin
set PATH=%PATH%;C:\apps\files\7-Zip
set DELIV_SKIP_ERROR="True"
rem set DELIV_SKIP_ERROR="False"
set ISE_LITE_DELIV="False"