summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -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) $< > $@ |