diff --git a/utils/test-gmsh b/utils/test-gmsh new file mode 100644 index 0000000000000000000000000000000000000000..47a4c15f0fc10e797e0c084d35d16e997b1eae11 --- /dev/null +++ b/utils/test-gmsh @@ -0,0 +1,18 @@ +#/bin/sh + +if [ $# -lt 2 ]; then + echo "Usage: $0 path program [options]" 1>&2; + exit 1; +fi + +path=$1 +shift 1 +program=$* +files=`find $path -name "*.geo"` +for file in $files ; do + echo "Running $program $file" ; + $program $file -o /tmp/tmp.msh >& log ; + grep -i "Warning" log ; + grep -i "Error" log ; +done +