From 55316d342767d8ec7da200e72d44d47d5d480052 Mon Sep 17 00:00:00 2001 From: GilbertWong Date: Mon, 26 Aug 2019 16:32:47 +0800 Subject: [PATCH] Add make cover in makefile --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index eedf9eb59..a21f8ab33 100644 --- a/Makefile +++ b/Makefile @@ -19,6 +19,9 @@ clean: ct: @$(REBAR) ct +cover: + @$(REBAR) cover + edoc: @$(REBAR) edoc