From: Martin Kronbichler Date: Tue, 18 Aug 2015 09:26:07 +0000 (+0200) Subject: Merge pull request #1381 from bangerth/dont-run-tests-without-mpi X-Git-Tag: v8.4.0-rc2~593 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=001f93dd610e24af1e82ba4516def85ce82ee64d;p=dealii.git Merge pull request #1381 from bangerth/dont-run-tests-without-mpi Do not run the shared-tria tests without MPI. --- 001f93dd610e24af1e82ba4516def85ce82ee64d