--- a/make/autoconf/spec.gmk.in	Thu Apr 11 19:09:45 2019 +0200
+++ b/make/autoconf/spec.gmk.in	Thu Apr 11 03:05:11 2019 -0800
@@ -389,6 +389,7 @@
 JCOV_ENABLED=@JCOV_ENABLED@
 JCOV_HOME=@JCOV_HOME@
 JCOV_INPUT_JDK=@JCOV_INPUT_JDK@
+JCOV_FILTERS=@JCOV_FILTERS@
 
 # AddressSanitizer
 export ASAN_ENABLED:=@ASAN_ENABLED@