Remove default as the profile of choice

This commit is contained in:
Marc Nijdam 2020-03-04 08:13:44 -08:00
parent 5c32dc5d7e
commit 9fc8ac40a3
No known key found for this signature in database
GPG Key ID: 1C84AFC593B1B79D

View File

@ -18,7 +18,7 @@
{escript_name, psql_migration}.
{escript_emu_args, "%%! +sbtu +A1\n"}.
{provider_hooks, [{post, [{compile, {default, escriptize}}]}]}.
{provider_hooks, [{post, [{compile, escriptize}]}]}.
{xref_checks,
[undefined_function_calls,