updated the share delivery location.

This commit is contained in:
2018-05-28 14:07:17 +02:00
parent 47e058f602
commit 04a565cea7
2 changed files with 7 additions and 5 deletions

View File

@@ -54,6 +54,12 @@ endiff
cdd %INIT_DIR
call check_environment.btm
call inc\display_environment.btm
call inc\get_environment_confirmation.btm
if %ERRORLEVEL% == 0 CANCEL
REM This is not a comment, it should create a 0-sized log file.
REM > %INSTALL_LOG%
REM > %ERROR_LOG%
@@ -61,11 +67,6 @@ REM > %ERROR_LOG%
remtrace Approximative starting time:
remtrace %_TIME
call check_environment.btm
call inc\display_environment.btm
call inc\get_environment_confirmation.btm
if %ERRORLEVEL% == 0 CANCEL
remtrace --------------------------------
remtrace Installation parameters are:
remtrace - ISE_EIFFEL=%ISE_EIFFEL%

View File

@@ -81,4 +81,5 @@ alias set_version `call %INIT_DIR%\set_version.bat %1 %2 %3`
REM file sharing
alias share_delivery `scp %1 %ISE_NIGHTLY_SCP_LOCATION% & ssh %ISE_NIGHTLY_SCP_USER%@%ISE_NIGHTLY_SCP_HOST% chmod 444 %ISE_NIGHTLY_SCP_PATH%/%1 `
alias share_delivery `cp %1 %INIT_DIR%\nightly`