No commit message

No commit message

utils/misc/release_gmsh_getdp.sh

-#!/bin/sh
+#!/bin/bash
 
 if [ $# -lt 1 ]; then
-  echo "Usage: $0 arch" 1>&2;
+  echo "Usage: $0 arch [gmsh|getdp]" 1>&2;
   echo "  with arch in [mac,linux32,linux64,win32,win64]" 1>&2;
   exit 1;
 fi
 
+if [ $# -lt 2 ] || [ $2 == "gmsh" ]; then
+  echo "========= Building Gmsh =========="
   cd ${HOME}/src/gmsh
   svn update
   cd utils/nightly
   ctest -VV -S ./gmsh_$1.ctest
+fi
 
+if [ $# -lt 2 ] || [ $2 == "getdp" ]; then
+  echo "========= Building GetDP =========="
   cd ${HOME}/src/getdp
   svn update
   cd utils/nightly
   ctest -VV -S ./getdp_$1.ctest
+fi