[ofa-general] mpi-selector changes

[Jeff Squyres]

Vlad --

Per https://bugs.openfabrics.org/show_bug.cgi?id=487, please apply  
this patch to build.sh:

@@ -436,7 +436,7 @@ mpi-selector()
          --define \'_topdir ${RPM_DIR}\' \
          --define \'ofed 1\' \
          --define \'buildroot ${BUILD_ROOT}\' \
-        --define \'configure_options --mandir=${mandir} --with-shell- 
startup-dir=/etc/profile.d\' \
+        --define \'configure_options --mandir=${mandir} --with-shell- 
startup-dir=/etc/profile.d --localstatedir=/var/lib\' \
          --define \'_prefix ${STACK_PREFIX}\' \
          --define \'_mandir ${mandir}\' \
          --define \'_docdir %{_prefix}/share/doc/$ 
{MPI_SELECTOR_NAME}-${MPI_SELECTOR_VERSION}\' \

Also please pull a new mpi-selector from ~jsquyres/mpi-selector  
(ofed_1_2 branch, of course); I made a minor change in configure.ac  
such that it now utilizes the --localstate option to configure.

Thanks.

-- 
Jeff Squyres
Cisco Systems