From 754edcb24d4ef6977848e64f6758f43769adea86 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Fri, 7 Dec 2018 12:19:19 +0100
Subject: Fix distclean of cover dirs when they are the same

---
 plugins/cover.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/plugins/cover.mk b/plugins/cover.mk
index 04ea657..a850335 100644
--- a/plugins/cover.mk
+++ b/plugins/cover.mk
@@ -117,7 +117,9 @@ ifneq ($(COVER_REPORT_DIR),)
 
 cover-report-clean:
 	$(gen_verbose) rm -rf $(COVER_REPORT_DIR)
+ifneq ($(COVER_REPORT_DIR),$(COVER_DATA_DIR))
 	$(if $(shell ls -A $(COVER_DATA_DIR)/),,$(verbose) rmdir $(COVER_DATA_DIR))
+endif
 
 ifeq ($(COVERDATA),)
 cover-report:
-- 
cgit v1.2.3