diff options
Diffstat (limited to 'databases/erlfdb/files/patch-rebar.config')
| -rw-r--r-- | databases/erlfdb/files/patch-rebar.config | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/databases/erlfdb/files/patch-rebar.config b/databases/erlfdb/files/patch-rebar.config deleted file mode 100644 index 7360225fb8b4..000000000000 --- a/databases/erlfdb/files/patch-rebar.config +++ /dev/null @@ -1,23 +0,0 @@ ---- rebar.config.orig 2022-01-25 23:33:52 UTC -+++ rebar.config -@@ -1,18 +1,5 @@ --{plugins, [ -- coveralls, -- pc --]}. -- --{project_plugins, [ -- erlfmt --]}. -- --{provider_hooks, [ -- {pre, [ -- {compile, {pc, compile}}, -- {clean, {pc, clean}} -- ]} --]}. -+{pre_hooks, [{"", compile, "enc compile"}]}. -+{post_hooks, [{"", clean, "enc clean"}]}. - - {port_specs, [ - {"priv/erlfdb_nif.so", ["c_src/*.c"]} |
