diff --git a/utils/misc/release_gmsh_getdp.sh b/utils/misc/release_gmsh_getdp.sh index 91eebdbc5d255c250dd732a04e715eb930f48e40..e111b92a99cac676fe6648bf3670252f75498a79 100755 --- a/utils/misc/release_gmsh_getdp.sh +++ b/utils/misc/release_gmsh_getdp.sh @@ -1,17 +1,23 @@ -#!/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 -cd ${HOME}/src/gmsh -svn update -cd utils/nightly -ctest -VV -S ./gmsh_$1.ctest +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 -cd ${HOME}/src/getdp -svn update -cd utils/nightly -ctest -VV -S ./getdp_$1.ctest +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