diff --git a/config/mca_make_configure.pl b/config/mca_make_configure.pl index e835d75798..2c93eb9cb5 100755 --- a/config/mca_make_configure.pl +++ b/config/mca_make_configure.pl @@ -190,6 +190,7 @@ MCA_CONFIGURE_DIST_STUB"; $config_values{CONFIGURE_DIST_STUB_MACRO} = "true"; } } else { + $config_values{CONFIGURE_STUB_SINCLUDE} = ""; $config_values{CONFIGURE_STUB_MACRO} = "true"; $config_values{CONFIGURE_DIST_STUB_MACRO} = "true"; }