diff --git a/M2/check-configure/Makefile.in b/M2/check-configure/Makefile.in
index 80afc995ad1..68c429f6071 100644
--- a/M2/check-configure/Makefile.in
+++ b/M2/check-configure/Makefile.in
@@ -29,6 +29,7 @@ check-config:
 	    --with-system-memtailor=$(SYSTEM_MEMTAILOR)				\
 	    --with-system-mathic=$(SYSTEM_MATHIC)				\
 	    --with-system-mathicgb=$(SYSTEM_MATHICGB)				\
+	    --enable-download=@DOWNLOAD@					\
 	    --disable-building
 distclean:: clean; rm -f Makefile
 Makefile: Makefile.in ; cd .. && ./config.status check-configure/Makefile