From 44fe1e993f16c98ed41c01e4511c0367e14e9637 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Thu, 6 Dec 2018 16:11:30 +0100 Subject: Default COVER_DATA_DIR now the same as COVER_REPORT_DIR We have a dedicated folder for cover stuff, let's use it. --- plugins/cover.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins') diff --git a/plugins/cover.mk b/plugins/cover.mk index 60809a3..416219c 100644 --- a/plugins/cover.mk +++ b/plugins/cover.mk @@ -3,7 +3,7 @@ # This file is part of erlang.mk and subject to the terms of the ISC License. COVER_REPORT_DIR ?= cover -COVER_DATA_DIR ?= $(CURDIR) +COVER_DATA_DIR ?= $(COVER_REPORT_DIR) # Hook in coverage to ct -- cgit v1.2.3