make/Coverage.gmk
branchihse-setupexecute-branch
changeset 58834 f78e7ce060b0
parent 54516 5b1ad4cbe59e
child 58908 73bb9c4002cc
--- a/make/Coverage.gmk	Tue Oct 29 11:13:39 2019 +0100
+++ b/make/Coverage.gmk	Tue Oct 29 11:17:25 2019 +0100
@@ -49,6 +49,7 @@
 	    -exclude 'java.lang.Object' \
 	    -exclude 'jdk.internal.org.objectweb.**' \
 	    -exclude jdk.test.Main -exclude '**\$Proxy*' \
+	    $(JCOV_FILTERS) \
 	    $(JCOV_TEMP)/$(JCOV_IMAGE_SUBDIR)
 	$(MV) $(JCOV_TEMP)/$(JCOV_IMAGE_SUBDIR) $(JCOV_IMAGE_DIR)
 	$(RMDIR) $(JCOV_TEMP)