Mike Dubman 30013f0339 remove --with-pmi, not all systems have JobScheduler ... reviewed by yossi cmr=v1.7.3:reviewer=ompi-gk1.7 This commit was SVN r29441.		2013-10-16 08:56:13 +00:00
..
optimized	remove --with-pmi, not all systems have JobScheduler	2013-10-16 08:56:13 +00:00
optimized.conf	remove duplicate (thanks Jeff)	2013-10-09 16:42:49 +00:00