install.pl: Set use_mpi_selector for mvapich.

Signed-off-by: Vladimir Sokolovsky <vlad@mellanox.co.il>

diff --git a/install.pl b/install.pl
index b066805176931804997b8e9e3ba1043b4ecf60bd..f6d781dcaa3aa6e1b122a9fcdc52eb70867310e3 100755 (executable)
--- a/install.pl
+++ b/install.pl
@@ -2495,6 +2495,7 @@ sub build_rpm
             $cmd .= " --define 'compiler $compiler'";
             $cmd .= " --define 'openib_prefix $prefix'";
             $cmd .= " --define '_usr $prefix'";
+            $cmd .= " --define 'use_mpi_selector 1'";
             if ($packages_info{'mvapich'}{'configure_options'}) {
                 $cmd .= " --define 'configure_options $packages_info{'mvapich'}{'configure_options'}'";
             }