make/Coverage.gmk
changeset 54516 5b1ad4cbe59e
parent 52774 56ca125c973b
child 58908 73bb9c4002cc
--- a/make/Coverage.gmk	Thu Apr 11 19:09:45 2019 +0200
+++ b/make/Coverage.gmk	Thu Apr 11 03:05:11 2019 -0800
@@ -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)