Parcourir la source
Merge pull request #1775 from ferd/redisable-dbg-info
Re-disable debug_info on prod profile
pull/1779/head
Fred Hebert
il y a 7 ans
committed by
GitHub
Parent
révision
33ba9486c0
Aucune clé connue n'a été trouvée dans la base pour cette signature
ID de la clé GPG: 4AEE18F83AFDEB23
1 fichiers modifiés avec
1 ajouts et
0 suppressions
-
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}, |
|
|
|