diff options
| author | Agustin Cautin <[email protected]> | 2017-09-12 15:37:31 +0200 |
|---|---|---|
| committer | Agustin Cautin <[email protected]> | 2017-09-12 15:37:31 +0200 |
| commit | b7b8622cf925bf889edae51eaf290ec35b6a1aef (patch) | |
| tree | 1154f4c4bec3e862e3d9bc870c51edddf7c5953b /priv | |
| parent | 3e89b1f8abdf5e5d8b5abd1f68a2ba55007f7ccc (diff) | |
| download | relx-b7b8622cf925bf889edae51eaf290ec35b6a1aef.tar.gz relx-b7b8622cf925bf889edae51eaf290ec35b6a1aef.tar.bz2 relx-b7b8622cf925bf889edae51eaf290ec35b6a1aef.zip | |
Remove erl.ini on the extended windows script to move erts freely.
Diffstat (limited to 'priv')
| -rw-r--r-- | priv/templates/extended_bin_windows | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/priv/templates/extended_bin_windows b/priv/templates/extended_bin_windows index f4dae66..d5361b6 100644 --- a/priv/templates/extended_bin_windows +++ b/priv/templates/extended_bin_windows @@ -66,6 +66,12 @@ ) @endlocal && set erl_opts=%erl_opts% +:: Remove erl.ini to move the erts_dir freely +@set erl_ini=%erts_dir%\bin\erl.ini +@if exist "%erl_ini%" ( + del "%erl_ini%" +) + :: If a start.boot file is not present, copy one from the named .boot file @if not exist "%rel_dir%\start.boot" ( copy "%rel_dir%\%rel_name%.boot" "%rel_dir%\start.boot" >nul |