20 lines
310 B
Plaintext
20 lines
310 B
Plaintext
@echo off
|
|
setlocal
|
|
|
|
REM Save previous environment
|
|
REM FIXME: is it still needed with use of setlocal?
|
|
set OLD_PATH=%PATH
|
|
set OLD_EIFFEL_SRC=%EIFFEL_SRC
|
|
set OLD_ISE_LIBRARY=%ISE_LIBRARY
|
|
set OLD_ISE_SRC=%ISE_SRC
|
|
set TMP_ISE_EIFFEL=%ISE_EIFFEL
|
|
|
|
call %~dp0init.btm
|
|
|
|
tail -f %INSTALL_LOG%
|
|
goto EOF
|
|
|
|
:broken
|
|
CANCEL
|
|
|