From b98afd298b775a9f09cb30138b9b5c9e0a92064c Mon Sep 17 00:00:00 2001
From: Brian Barrett <brbarret@open-mpi.org>
Date: Wed, 19 Jan 2011 20:46:06 +0000
Subject: [PATCH] update to remove unneeded fields

This commit was SVN r24267.
---
 contrib/platform/portals4-shmem | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/contrib/platform/portals4-shmem b/contrib/platform/portals4-shmem
index faf207ee7f..2f85e1e307 100644
--- a/contrib/platform/portals4-shmem
+++ b/contrib/platform/portals4-shmem
@@ -1,8 +1,3 @@
-enable_static=no
-enable_shared=yes
-with_threads=posix
-enable_pretty_print_stacktrace=yes
-enable_dlopen=yes
 with_memory_manager=no
 enable_mca_no_build=carto,compress,crs,maffinity,paffinity,debugger,notifier,bml,btl,coll-hierarch,coll-sm,common-sm,mpool,pml-bfo,pml-csum,pml-dr,pml-ob1,osc-rdma,rcache,vprotocol
 enable_contrib_no_build=libnbc,vt