aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/cover.mk
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2017-09-15 22:21:47 +0200
committerLoïc Hoguin <[email protected]>2017-09-15 22:21:47 +0200
commitb0623a2803acb1c59b1bde10343ca9826f67b759 (patch)
tree5a986f93be58eb94c13951f80d0cf7a330de96fc /plugins/cover.mk
parent6a764de5ff077a566b7865d0a7a8f3c4c9b0c042 (diff)
downloaderlang.mk-b0623a2803acb1c59b1bde10343ca9826f67b759.tar.gz
erlang.mk-b0623a2803acb1c59b1bde10343ca9826f67b759.tar.bz2
erlang.mk-b0623a2803acb1c59b1bde10343ca9826f67b759.zip
Fix removal of COVER_DATA_DIR if not empty
Diffstat (limited to 'plugins/cover.mk')
-rw-r--r--plugins/cover.mk4
1 files changed, 3 insertions, 1 deletions
diff --git a/plugins/cover.mk b/plugins/cover.mk
index b57458a..a14b992 100644
--- a/plugins/cover.mk
+++ b/plugins/cover.mk
@@ -80,7 +80,9 @@ ifneq ($(COVER_REPORT_DIR),)
.PHONY: cover-report-clean cover-report
cover-report-clean:
- $(gen_verbose) rm -rf $(COVER_REPORT_DIR) $(COVER_DATA_DIR)
+ $(gen_verbose) rm -rf $(COVER_REPORT_DIR)
+ # Remove the COVER_DATA_DIR only if it is empty.
+ -$(verbose) rmdir $(COVER_DATA_DIR)
ifeq ($(COVERDATA),)
cover-report: