--- a/make/autoconf/spec.gmk.in	Wed Aug 01 18:56:00 2018 -0700
+++ b/make/autoconf/spec.gmk.in	Wed Aug 01 22:43:18 2018 -0700
@@ -313,6 +313,8 @@
 
 BUILD_MANPAGES := @BUILD_MANPAGES@
 
+ERRORPRONE_JAR := @ERRORPRONE_JAR@
+
 # The boot jdk to use. This is overridden in bootcycle-spec.gmk. Make sure to keep
 # it in sync.
 BOOT_JDK:=@BOOT_JDK@