From b44a244fbcb7fe67f259de38ff8b60642f48af31 Mon Sep 17 00:00:00 2001
From: Jeff Squyres <jsquyres@cisco.com>
Date: Fri, 3 Oct 2014 17:04:18 -0400
Subject: [PATCH] openmpi-release.sh: update for git

Also add consistent indenting to make the loop easier to read.
---
 contrib/build-server/openmpi-release.sh | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/contrib/build-server/openmpi-release.sh b/contrib/build-server/openmpi-release.sh
index 04c5191828..6493abab3a 100755
--- a/contrib/build-server/openmpi-release.sh
+++ b/contrib/build-server/openmpi-release.sh
@@ -2,9 +2,10 @@
 
 # The tarballs to make
 if [ $# -eq 0 ] ; then
-    dirs="branches/v1.8"
+    branches="v1.8"
 else
-    dirs=$@
+    branches=$1
+    shift
 fi
 
 # Build root - scratch space
@@ -29,14 +30,12 @@ module load sowing
 
 # move to the directory
 # Loop making them
-for dir in $dirs; do
-        ver=`basename $dir`
+for branch in $branches; do
+    cd $build_root/$branch
 
-        cd $build_root/$ver
+    module load "autotools/ompi-$branch"
 
-        module load "autotools/ompi-$ver"
-
-        ./$script $@ >dist.out 2>&1
+    ./$script $@ >dist.out 2>&1
 	if test "$?" != "0"; then
 		cat <<EOF
 =============================================================================
@@ -48,5 +47,5 @@ EOF
 		exit 1
 	fi
 
-        module unload "autotools"
+    module unload "autotools"
 done