From b7b8622cf925bf889edae51eaf290ec35b6a1aef Mon Sep 17 00:00:00 2001 From: Agustin Cautin Date: Tue, 12 Sep 2017 15:37:31 +0200 Subject: Remove erl.ini on the extended windows script to move erts freely. --- priv/templates/extended_bin_windows | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'priv') 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 -- cgit v1.2.3