From ada321442febcee20e0d4e6d29238cf10e6fca6a Mon Sep 17 00:00:00 2001 From: nsensfel Date: Wed, 27 Feb 2019 18:27:20 +0100 Subject: ... --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 13ce899..ba07484 100644 --- a/Makefile +++ b/Makefile @@ -132,7 +132,7 @@ debug_rebuild: $(MAKE) ERLC_OPTS="$(ERLC_OPTS) +debug_info" $(DIALYZER_BASE_PLT_FILE): - $(DIALYZER_EXEC) --build_plt --apps erts kernel stdlib crypto jiffy mnesia \ + $(DIALYZER_EXEC) --build_plt --apps erts kernel stdlib crypto mnesia \ --output_plt $@ debug_run: $(DIALYZER_BASE_PLT_FILE) -- cgit v1.2.3-70-g09d2