diff --git a/configure.in.base b/configure.in.base
index 8f9fd19a7..2032ad0a0 100644
--- a/configure.in.base
+++ b/configure.in.base
@@ -334,6 +334,8 @@ echo
 
 CHECK_MED
 
+CHECK_PLATFORM
+
 echo
 echo ---------------------------------------------
 echo Summary