diff options
| -rw-r--r-- | rel/reltool.config | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/rel/reltool.config b/rel/reltool.config index d64044ee..6f9b6b20 100644 --- a/rel/reltool.config +++ b/rel/reltool.config @@ -35,5 +35,9 @@ ]}. {overlay, [ - {copy, "overlay/var"} -]}. + {copy, "overlay/bin"}, + {copy, "overlay/erts-vsn/bin/erl", "{{erts_vsn}}/bin/erl"}, + {copy, "overlay/erts-vsn/bin/erl_call", "{{erts_vsn}}/bin/erl_call"}, + {copy, "overlay/etc"}, + {copy, "overlay/var"} + ]}. |