--- a/make/autoconf/spec.gmk.in	Fri Oct 05 17:01:07 2018 -0400
+++ b/make/autoconf/spec.gmk.in	Tue Oct 09 14:37:59 2018 +0200
@@ -309,6 +309,8 @@
 
 BUILD_MANPAGES := @BUILD_MANPAGES@
 
+BUILD_CDS_ARCHIVE := @BUILD_CDS_ARCHIVE@
+
 # The boot jdk to use. This is overridden in bootcycle-spec.gmk. Make sure to keep
 # it in sync.
 BOOT_JDK:=@BOOT_JDK@