From eeb4be6e4b18a5613dd120f255fe91d31365baa2 Mon Sep 17 00:00:00 2001 From: Badlop Date: Mon, 8 Jan 2024 19:02:35 +0100 Subject: [PATCH] Makefile: Rename "make rel" to "make prod" Rebar2 could create a release, so it made sense to call it "make rel". Nowadays, Rebar3 and Mix support creating different types of releases: production, development, ... In this sense, our "make rel" target is more properly named "make prod" For backwards compatibility, "make rel" redirects to "make prod" --- Makefile.in | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index c7c47f833..833d006a2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -438,7 +438,9 @@ distclean: clean clean-rel rm -f Makefile rm -f vars.config -rel: +rel: prod + +prod: $(PREPARE_ELIXIR_SCRIPTS) $(REBARREL) @@ -506,7 +508,7 @@ test: @cd priv && ln -sf ../sql $(REBAR) $(SKIPDEPS) ct -.PHONY: src edoc dialyzer Makefile TAGS clean clean-rel distclean rel \ +.PHONY: src edoc dialyzer Makefile TAGS clean clean-rel distclean prod rel \ install uninstall uninstall-binary uninstall-all translations deps test \ quicktest erlang_plt deps_plt ejabberd_plt xref hooks options @@ -524,7 +526,7 @@ help: @echo " uninstall Uninstall ejabberd (buggy)" @echo " uninstall-all Uninstall also configuration, logs, mnesia... (buggy)" @echo "" - @echo " rel Build a production release" + @echo " prod Build a production release" @echo " dev Build a development release" @echo " relive Start a live ejabberd in _build/relive/" @echo ""