summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2019-02-27 18:27:20 +0100
committernsensfel <SpamShield0@noot-noot.org>2019-02-27 18:27:20 +0100
commitada321442febcee20e0d4e6d29238cf10e6fca6a (patch)
tree7ddf19757341981e597010c01077d1eaa9e7dd95 /Makefile
parent7658c4c7afa2a1c048b712fe5f227c18acc509a3 (diff)
...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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)