diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 3c4a6da85e..55decd8794 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1142,7 +1142,10 @@ bootstrap_clean: # ---------------------------------------------------------------------- -.PHONY: test +.PHONY: test dialyzer test: all release release_tests $(ERL_TOP)/make/test_target_script.sh $(ERL_TOP) + +dialyzer: all + $(ERL_TOP)/scripts/run-dialyzer |