From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 5 Oct 2018 23:21:05 +0000 (-0500)
Subject: add a missing RESET_CMAKE_REQUIRED
X-Git-Tag: v9.0.1~4^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F7286%2Fhead;p=dealii.git

add a missing RESET_CMAKE_REQUIRED
---

diff --git a/cmake/configure/configure_adolc.cmake b/cmake/configure/configure_adolc.cmake
index 15780b798f..62921a027c 100644
--- a/cmake/configure/configure_adolc.cmake
+++ b/cmake/configure/configure_adolc.cmake
@@ -84,6 +84,8 @@ MACRO(FEATURE_ADOLC_FIND_EXTERNAL var)
       }"
       ADOLC_ADOUBLE_OSTREAM_CHECK)
 
+    RESET_CMAKE_REQUIRED()
+
     IF(NOT ADOLC_DOUBLE_CAST_CHECK)
       MESSAGE(STATUS
         "Could not find a sufficient ADOL-C installation: "