diff options
Diffstat (limited to 'vars.config.in')
-rw-r--r-- | vars.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vars.config.in b/vars.config.in index 7621d1390..2efa449ae 100644 --- a/vars.config.in +++ b/vars.config.in @@ -14,6 +14,7 @@ {db_type, @db_type@}. {debug, @debug@}. {hipe, @hipe@}. +{erlang_deprecated_types, @erlang_deprecated_types@}. %% Ad-hoc directories with source files {tools, @tools@}. |