diff options
author | Fred Hebert <mononcqc@ferd.ca> | 2018-05-03 19:32:30 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-03 19:32:30 -0400 |
commit | 33ba9486c0f7344734ea6ad9359d7422d1a881a3 (patch) | |
tree | d5f7a326e2078a6c097be01e1df0b4142baf0d2f | |
parent | 9755fc740501e925e090cc7fc740d93d3c62e632 (diff) | |
parent | 112833b8b3ecefc88e5e76ab74e310d9e94babb6 (diff) |
Merge pull request #1775 from ferd/redisable-dbg-info
Re-disable debug_info on prod profile
-rw-r--r-- | rebar.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rebar.config b/rebar.config index 09010e8..4bd205b 100644 --- a/rebar.config +++ b/rebar.config @@ -54,6 +54,7 @@ {bootstrap, []}, {prod, [ + {erl_opts, [no_debug_info]}, {overrides, [ {override, erlware_commons, [ {erl_opts, [{platform_define, "^[0-9]+", namespaced_types}, |