diff --git a/Makefile b/Makefile index 09e422c5853..74512edcb6f 100644 --- a/Makefile +++ b/Makefile @@ -186,6 +186,9 @@ uninstall: opam.install $(OPAMINSTALLER) -u $(OPAMINSTALLER_FLAGS) $< $(OPAMINSTALLER) -u $(OPAMINSTALLER_FLAGS) opam-installer.install +.PHONY: test +test: tests + .PHONY: tests tests: $(DUNE_DEP) src/client/no-git-version @$(DUNE) runtest $(DUNE_PROFILE_ARG) --root . $(DUNE_ARGS) src/ tests/ --no-buffer; \ diff --git a/master_changes.md b/master_changes.md index 6690e2b860d..33b6736b4e7 100644 --- a/master_changes.md +++ b/master_changes.md @@ -162,6 +162,7 @@ users) * Add `jsonm` (and `uutf`) dependency [#5098 @rjbou - fix #5085] * Bump opam-file-format to 2.1.4 [#5117 @kit-ty-kate - fix #5116] * Add `sha` dependency [#5042 @kit-ty-kate] + * Add a 'test' target [#5129 @kit-ty-kate @mehdid - partially fixes #5058] ## Infrastructure * Fix caching of Cygwin compiler on AppVeyor [#4988 @dra27]