diff --git a/contrib/platform/redstorm b/contrib/platform/redstorm index 6ceb19aa60..75cd5d5606 100644 --- a/contrib/platform/redstorm +++ b/contrib/platform/redstorm @@ -6,7 +6,7 @@ enable_pretty_print_stacktrace=no enable_dlopen=no with_portals_config=redstorm with_memory_manager=none -enable_mca_no_build=carto-file,maffinity,paffinity,btl-sm,btl-self,coll-hierarch,coll-sm,common-sm,mpool-sm,pml-dr +enable_mca_no_build=carto-file,maffinity,paffinity,btl-sm,btl-self,coll-hierarch,coll-sm,common-sm,mpool-sm,pml-dr,pml-v enable_contrib_no_build=libnbc,vt with_rte_support=no enable_heterogeneous=no