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)