From 12ce28f80ff91d3923ade5d5d2005f5de76e8501 Mon Sep 17 00:00:00 2001
From: Christoph Niethammer <niethammer@hlrs.de>
Date: Fri, 4 Mar 2011 15:35:10 +0000
Subject: [PATCH] We should not build OpenMPI with --enable-debug for the
 production systems.

---
 openmpi_install.sh         |  1 -
 packages/mpi/openmpi-1.5.1 | 12 ++++++------
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/openmpi_install.sh b/openmpi_install.sh
index 07cd6a8..ab8f221 100755
--- a/openmpi_install.sh
+++ b/openmpi_install.sh
@@ -39,7 +39,6 @@ P=${PACKAGE}-${VERSION}
 # --enable-progress-threads
 # --with-fca=DIR
 CONFIGURE_OPTS="--with-devel-headers \
-		--enable-debug \
 		--enable-contrib-no-build=vt
 		--enable-shared \
 		--enable-static \
diff --git a/packages/mpi/openmpi-1.5.1 b/packages/mpi/openmpi-1.5.1
index e3700cb..548d7ad 100755
--- a/packages/mpi/openmpi-1.5.1
+++ b/packages/mpi/openmpi-1.5.1
@@ -14,12 +14,12 @@ INSTALLER="Christoph Niethammer <niethammer@hlrs.de>"
 A=${PACKAGE}-${VERSION}.tar.bz2
 P=${PACKAGE}-${VERSION}
  
-CONFIGURE_OPTS="--with-devel-headers \
-		--enable-debug \
-		--enable-contrib-no-build=vt
-		--enable-shared \
-		--enable-static \
-		"
+CONFIGURE_OPTS="
+        --with-devel-headers \
+        --enable-contrib-no-build=vt
+        --enable-shared \
+        -enable-static \
+        "
 # Other interesting configure options:
 # --enable-mpi-threads
 # --enable-progress-threads