From 3affd7d3e8694ba960e473ed2f7653ad7b9ebc48 Mon Sep 17 00:00:00 2001
From: Dmitri Naumov <github@naumov.de>
Date: Mon, 23 Mar 2020 11:49:45 +0100
Subject: [PATCH] CheckHeaders; Verbose output.

---
 scripts/cmake/CheckHeaderCompilation.cmake | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/cmake/CheckHeaderCompilation.cmake b/scripts/cmake/CheckHeaderCompilation.cmake
index b4d070e04a0..4f636645015 100644
--- a/scripts/cmake/CheckHeaderCompilation.cmake
+++ b/scripts/cmake/CheckHeaderCompilation.cmake
@@ -1,7 +1,6 @@
 # Supply include directories and compiler flags
 get_directory_property(INCLUDE_DIRS INCLUDE_DIRECTORIES)
 set(CMAKE_REQUIRED_FLAGS "-c")
-set(CMAKE_REQUIRED_QUIET TRUE)
 
 add_custom_target(check-header
     COMMAND ${CMAKE_COMMAND} -E remove -f CMakeFiles/CMakeError.log
-- 
GitLab