diff options
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/cover.mk | 4 |
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: |