From d512f2c9f6dc2fef0d25ab132c99c94991a44614 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Mon, 21 May 2012 15:43:34 +0200 Subject: Create erl.ini for host emulator --- erts/Makefile.in | 1 + 1 file changed, 1 insertion(+) (limited to 'erts') diff --git a/erts/Makefile.in b/erts/Makefile.in index 1979c50781..79a66a3ba2 100644 --- a/erts/Makefile.in +++ b/erts/Makefile.in @@ -106,6 +106,7 @@ local_setup: chmod 755 $(ERL_TOP)/bin/erl.exe $(ERL_TOP)/bin/erlc.exe \ $(ERL_TOP)/bin/werl.exe; \ make_local_ini.sh $(ERL_TOP); \ + cp $(ERL_TOP)/bin/erl.ini $(ERL_TOP)/bin/$(TARGET)/erl.ini; \ else \ sed -e "s;%FINAL_ROOTDIR%;$(ERL_TOP);" \ -e "s;erts-.*/bin;bin/$(TARGET);" \ -- cgit v1.2.3