From b9df490523a4ce5b75d3859fcb20eb7530c28997 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 11 Mar 2015 10:29:08 +0000
Subject: [PATCH]
---
utils/misc/release_gmsh_getdp.sh | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
create mode 100755 utils/misc/release_gmsh_getdp.sh
diff --git a/utils/misc/release_gmsh_getdp.sh b/utils/misc/release_gmsh_getdp.sh
new file mode 100755
index 0000000000..65c2dd02db
--- /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
--
GitLab