diff options
Diffstat (limited to 'plugins/relx.mk')
| -rw-r--r-- | plugins/relx.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/relx.mk b/plugins/relx.mk index 267d899..d276219 100644 --- a/plugins/relx.mk +++ b/plugins/relx.mk @@ -39,6 +39,7 @@ distclean:: distclean-relx-rel # Plugin-specific targets. $(RELX): + $(verbose) mkdir -p $(ERLANG_MK_TMP) $(gen_verbose) $(call core_http_get,$(RELX),$(RELX_URL)) $(verbose) chmod +x $(RELX) |