From 9ec710502981d083c16a756b8b6f575adc0f5ab4 Mon Sep 17 00:00:00 2001
From: Aleksandar Samardzic <asamardzic@matf.bg.ac.yu>
Date: Tue, 11 May 2010 20:00:28 +0200
Subject: development/openmpi: Added to 12.0 repository

---
 development/openmpi/doinst.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 development/openmpi/doinst.sh

(limited to 'development/openmpi/doinst.sh')

diff --git a/development/openmpi/doinst.sh b/development/openmpi/doinst.sh
new file mode 100644
index 0000000000..7f75f638c4
--- /dev/null
+++ b/development/openmpi/doinst.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+config() {
+  NEW="$1"
+  OLD="$(dirname $NEW)/$(basename $NEW .new)"
+  # If there's no config file by that name, mv it over:
+  if [ ! -r $OLD ]; then
+    mv $NEW $OLD
+  elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then
+    # toss the redundant copy
+    rm $NEW
+  fi
+  # Otherwise, we leave the .new copy for the admin to consider...
+}
+
+config etc/openmpi-totalview.tcl.new
+config etc/openmpi-mca-params.conf.new
+config etc/openmpi-default-hostfile.new
-- 
cgit v1.2.3