diff options
author | Guilherme Andrade <g@gandrade.net> | 2019-09-02 23:30:43 +0100 |
---|---|---|
committer | Guilherme Andrade <g@gandrade.net> | 2019-09-02 23:30:43 +0100 |
commit | 0cb050e93be41afcc0f063d5110a73dcf8fcb176 (patch) | |
tree | 7ee9fcef728299b8de6de6d7d26b18384bb08563 /src | |
parent | 8412c684f9b4a33c18c234c1b4c7d50185e66971 (diff) |
Add missing function spec.
Diffstat (limited to 'src')
-rw-r--r-- | src/rebar_dir.erl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rebar_dir.erl b/src/rebar_dir.erl index 54e910d..6810640 100644 --- a/src/rebar_dir.erl +++ b/src/rebar_dir.erl @@ -52,6 +52,7 @@ profile_dir(Opts, Profiles) -> %% @doc returns the directory name for build artifacts for a given set %% of profiles. +-spec profile_dir_name(rebar_state:t()) -> file:filename_all(). profile_dir_name(State) -> profile_dir_name_(rebar_state:current_profiles(State)). |