From 082218c51f46ef30b6e674e5319d51c2dd2d45c2 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Wed, 16 Jul 2014 09:36:20 +0200
Subject: [PATCH] openmpi: update to version 1.8.1

---
 config/families.d/openmpi-1.8.1 | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 config/families.d/openmpi-1.8.1

diff --git a/config/families.d/openmpi-1.8.1 b/config/families.d/openmpi-1.8.1
new file mode 100644
index 0000000..595b6e8
--- /dev/null
+++ b/config/families.d/openmpi-1.8.1
@@ -0,0 +1,5 @@
+MPI=openmpi
+MPI_VERSION=1.8.1
+
+OPENMPI_VERSION=${MPI_VERSION}
+