diff --git a/utils/misc/release_gmsh_getdp.sh b/utils/misc/release_gmsh_getdp.sh new file mode 100755 index 0000000000000000000000000000000000000000..65c2dd02dbf3def1d7135561511d5f3d6ef4dd5e --- /dev/null +++ b/utils/misc/release_gmsh_getdp.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +if [ $# -lt 2 ]; then + echo "Usage: $0 arch" 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 + +cd ${HOME}/src/getdp +svn update +cd utils/nightly +ctest -VV -S ./getdp_$1.ctest