summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-08-04 18:03:07 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-08-04 18:03:07 +0200
commit16f10af4f1fbf8c21d127d2163c3ace9611cbb91 (patch)
tree6e17a13d99c9b098dc53fe8b72c9d2ae6fba8fde /Makefile
parentf6b21d74f798c004de277b34fd54e124fc690d53 (diff)
Working on player accounts...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 91dc448..97a3bf9 100644
--- a/Makefile
+++ b/Makefile
@@ -114,7 +114,7 @@ debug_rebuild:
ifeq ($(wildcard $(DIALYZER_PLT_FILE)),)
debug_run:
- $(DIALYZER_EXEC) --build_plt --apps erts kernel stdlib jiffy mnesia \
+ $(DIALYZER_EXEC) --build_plt --apps erts kernel stdlib crypto jiffy mnesia \
--output_plt $(DIALYZER_PLT_FILE)
$(MAKE) debug_rebuild
$(DIALYZER_EXEC) --add_to_plt --plt $(DIALYZER_PLT_FILE) -r $(BIN_DIR)