From f28ac67b9c2b07a1a0eb10041a7eee20827fbf1d Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Wed, 3 Feb 2010 23:20:25 +0200 Subject: erts/preloaded: Add types and specs --- erts/preloaded/src/init.erl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'erts/preloaded/src/init.erl') diff --git a/erts/preloaded/src/init.erl b/erts/preloaded/src/init.erl index c0b3d286e8..4fda69e22f 100644 --- a/erts/preloaded/src/init.erl +++ b/erts/preloaded/src/init.erl @@ -51,7 +51,7 @@ get_status/0,boot/1,get_arguments/0,get_plain_arguments/0, get_argument/1,script_id/0]). -% internal exports +%% internal exports -export([fetch_loaded/0,ensure_loaded/1,make_permanent/2, notify_when_started/1,wait_until_started/0, objfile_extension/0, archive_extension/0,code_path_choice/0]). @@ -115,6 +115,8 @@ fetch_loaded() -> ensure_loaded(Module) -> request({ensure_loaded, Module}). +-spec make_permanent(file:filename(), 'false' | file:filename()) -> + 'ok' | {'error', term()}. make_permanent(Boot,Config) -> request({make_permanent,Boot,Config}). -- cgit v1.2.3