diff options
| -rw-r--r-- | plugins/relx.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/plugins/relx.mk b/plugins/relx.mk index 3c25373..dd3860a 100644 --- a/plugins/relx.mk +++ b/plugins/relx.mk @@ -82,6 +82,13 @@ endif run:: all $(verbose) $(RELX_OUTPUT_DIR)/$(RELX_REL_NAME)/bin/$(RELX_REL_NAME)$(RELX_REL_EXT) console +ifdef RELOAD +rel:: + $(verbose) $(RELX_OUTPUT_DIR)/$(RELX_REL_NAME)/bin/$(RELX_REL_NAME)$(RELX_REL_EXT) ping + $(verbose) $(RELX_OUTPUT_DIR)/$(RELX_REL_NAME)/bin/$(RELX_REL_NAME)$(RELX_REL_EXT) \ + eval "io:format(\"~p~n\", [c:lm()])" +endif + help:: $(verbose) printf "%s\n" "" \ "Relx targets:" \ |