diff options
| -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 |