From: Matthias Maier Date: Tue, 23 Jan 2018 15:13:45 +0000 (-0600) Subject: Merge pull request #5778 from davydden/cmake3.10_fixes X-Git-Tag: v9.0.0-rc1~534 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3c1d4419459fc2c90d0b9ba70730081b7a9e6135;p=dealii.git Merge pull request #5778 from davydden/cmake3.10_fixes fix CHECK_MPI_INTERFACE for CMake 3.10 --- 3c1d4419459fc2c90d0b9ba70730081b7a9e6135