Skip to content
Snippets Groups Projects
Commit 7be8bc1d authored by henry's avatar henry
Browse files

Changed packing for OpenMPI.

Not by me, Chris/Mattijs?
parent ddebd03c
No related branches found
No related tags found
No related merge requests found
...@@ -43,6 +43,10 @@ archOptions=$1 ...@@ -43,6 +43,10 @@ archOptions=$1
arch=${archOptions%%G*} arch=${archOptions%%G*}
arch3264=$(echo "$arch" | sed 's@64@-64@') arch3264=$(echo "$arch" | sed 's@64@-64@')
echo "archOptions=$archOptions"
echo "arch=$arch"
echo "arch3264=$arch3264"
timeStamp=$(date +%Y-%m-%d) timeStamp=$(date +%Y-%m-%d)
packDir=ThirdParty packDir=ThirdParty
packFile=${packDir}.${archOptions}_${timeStamp}.gtgz packFile=${packDir}.${archOptions}_${timeStamp}.gtgz
...@@ -60,7 +64,7 @@ then ...@@ -60,7 +64,7 @@ then
fi fi
# get list of directories # get list of directories
dirList=`find $packDir -type d -name $arch -o -type d -name $archOptions -o -type l -name $arch3264` dirList=`find $packDir -type d -name $arch -o -type d -name $archOptions'*' -o -type l -name $arch3264`
echo echo
echo "Packing $archOptions port of $packDir into $packFile" echo "Packing $archOptions port of $packDir into $packFile"
echo echo
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment