diff options
-rw-r--r-- | core/core.mk | 5 | ||||
-rw-r--r-- | plugins/dialyzer.mk | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/core/core.mk b/core/core.mk index 0de45fd..5cb0b54 100644 --- a/core/core.mk +++ b/core/core.mk @@ -12,7 +12,7 @@ # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. -.PHONY: all deps app rel docs install-docs tests clean distclean help erlang-mk +.PHONY: all deps app rel docs install-docs tests check clean distclean help erlang-mk ERLANG_MK_VERSION = 1 @@ -46,6 +46,8 @@ all:: deps rel:: @echo -n +check:: clean app tests + clean:: clean-crashdump clean-crashdump: @@ -70,6 +72,7 @@ help:: " docs Build the documentation for this project" \ " install-docs Install the man pages for this project" \ " tests Run the tests for this project" \ + " check Compile and run all tests and analysis for this project" \ " clean Delete temporary and output files from most targets" \ " distclean Delete all temporary and output files" \ " help Display this help and exit" \ diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 530f809..23d16ee 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -15,6 +15,8 @@ DIALYZER_OPTS ?= -Werror_handling -Wrace_conditions \ # Core targets. +check:: dialyze + distclean:: distclean-plt help:: |