mirror of
https://gitee.com/dgiiot/dgiot.git
synced 2024-11-30 11:17:48 +08:00
Update rebar.config
This commit is contained in:
parent
d112847a53
commit
80329508aa
@ -8,8 +8,7 @@
|
||||
|
||||
{edoc_opts, [{preprocess,true}]}.
|
||||
{erl_opts, [warn_unused_vars,warn_unused_import,
|
||||
warn_obsolete_guard,compressed,
|
||||
{d, snk_kind, msg}]}.
|
||||
warn_obsolete_guard,compressed]}.
|
||||
|
||||
{extra_src_dirs, [{"etc", [{recursive,true}]}]}.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user