diff options
author | iain holmes <iain@xamarin.com> | 2015-03-10 21:17:45 +0300 |
---|---|---|
committer | iain holmes <iain@xamarin.com> | 2015-03-10 21:17:45 +0300 |
commit | d869b8ed636d978badea9b480f9c5276dd9421f3 (patch) | |
tree | e7ed66628a937305ff144a66db3162ec34f76a72 /Makefile | |
parent | f3e7de79a27814aeebc32e97b95f431b0243529f (diff) |
[Coverage] Add a make coverage option to run coverage tests
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -111,6 +111,9 @@ run-gdb: test: cd main && $(MAKE) test assembly=$(assembly) +coverage: + cd main && $(MAKE) coverage + check-addins: cd main && $(MAKE) check-addins |