summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2019-01-05 20:29:38 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2019-01-05 20:29:38 +0100
commit20e5f9a8b302cb56a1b4cafc4f2072918223e3c5 (patch)
treee7104b9ddc58438c640f1defbe5c556c11006f5e /Makefile
parent4b7351e6df122418a3e58e5e3b7b55e46b4a6c89 (diff)
...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index f82e030..d2bf4ae 100644
--- a/Makefile
+++ b/Makefile
@@ -134,18 +134,14 @@ debug_rebuild:
$(DIALYZER_BASE_PLT_FILE):
$(DIALYZER_EXEC) --build_plt --apps erts kernel stdlib crypto jiffy mnesia \
--output_plt $@
-ifeq ($(wildcard $(DIALYZER_PLT_FILE)),)
+
debug_run: $(DIALYZER_BASE_PLT_FILE)
$(MAKE) debug_rebuild
cp $< $(DIALYZER_PLT_FILE)
$(DIALYZER_EXEC) --add_to_plt --plt $(DIALYZER_PLT_FILE) -r $(BIN_DIR)
-else
-debug_run:
- $(MAKE) debug_rebuild
$(DIALYZER_EXEC) --check_plt --plt $(DIALYZER_PLT_FILE)
$(DIALYZER_EXEC) --get_warnings $(ERL_SRC_FILES) $(PREPROCESSED_ERL_SRC_FILES)\
--src --plt $(DIALYZER_PLT_FILE)
-endif
$(PREPROCESSED_FILES): %: %.m4 .PHONY
$(M4_EXEC) -P $(MAKEFILE_TO_M4) $(PREPROCESSOR_CONFIG_FILES) $< > $@