From f76f5b2541c442d45623b385c45aaa2f796eacaf Mon Sep 17 00:00:00 2001
From: Joel Falcou <joel.falcou@lri.fr>
Date: Tue, 21 Jan 2025 17:12:30 +0100
Subject: [PATCH] Remove PCH CMake prologue so warning can get through

---
 cmake/config/pch.cmake | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cmake/config/pch.cmake b/cmake/config/pch.cmake
index 32c4ca5540..4bb71ac0cf 100644
--- a/cmake/config/pch.cmake
+++ b/cmake/config/pch.cmake
@@ -10,6 +10,9 @@
 file(WRITE "${PROJECT_BINARY_DIR}/doc_pch.cpp" "int main() {}\n" )
 file(TOUCH "${PROJECT_BINARY_DIR}/test_pch.cpp" )
 
+## Let warnings come out even when PCH is setup
+set(CMAKE_PCH_PROLOGUE "")
+
 add_executable(bench_pch  $<BUILD_INTERFACE:${PROJECT_BINARY_DIR}/doc_pch.cpp> )
 add_executable(test_pch   $<BUILD_INTERFACE:${PROJECT_BINARY_DIR}/test_pch.cpp> )
 add_executable(doc_pch    $<BUILD_INTERFACE:${PROJECT_BINARY_DIR}/doc_pch.cpp> )