diff options
| author | olgeni <olgeni@FreeBSD.org> | 2007-02-09 06:41:36 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2007-02-09 06:41:36 +0800 |
| commit | e8e9d6eb37fa52e1163cc61f5d719c7d51e402f7 (patch) | |
| tree | 13dbf9bacb489ae06fbca4ba5e016adcc1f12ad8 /lang/erlang | |
| parent | 02be32ee52c0cee25dfd500b4498373c0ec056bf (diff) | |
| download | freebsd-ports-gnome-e8e9d6eb37fa52e1163cc61f5d719c7d51e402f7.tar.gz freebsd-ports-gnome-e8e9d6eb37fa52e1163cc61f5d719c7d51e402f7.tar.zst freebsd-ports-gnome-e8e9d6eb37fa52e1163cc61f5d719c7d51e402f7.zip | |
Fix dialyzer_init_plt path.
Diffstat (limited to 'lang/erlang')
| -rw-r--r-- | lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl__parse.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl__parse.erl b/lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl__parse.erl index 1836f29dc22b..a02691d2d845 100644 --- a/lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl__parse.erl +++ b/lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl__parse.erl @@ -8,7 +8,7 @@ $FreeBSD$ init() -> - InitPlt = filename:join([code:lib_dir(dialyzer), "plt","dialyzer_init_plt"]), -+ InitPlt = filename:join([os:getenv ("HOME"), "plt","dialyzer_init_plt"]), ++ InitPlt = filename:join([os:getenv ("HOME"), ".dialyzer_init_plt"]), put(dialyzer_init_plt, InitPlt), put(dialyzer_only_check_init_plt, false), put(dialyzer_options_gui, true), |