From 4b779a7c1d34bb9a19776ee18a39b1d4357d82f5 Mon Sep 17 00:00:00 2001
From: Benoit Blanchon <git@benoitblanchon.fr>
Date: Wed, 15 May 2024 20:41:21 +0200
Subject: [PATCH] Fix wrong build flags when `COVERAGE` is not defined

---
 extras/CompileOptions.cmake | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extras/CompileOptions.cmake b/extras/CompileOptions.cmake
index ae1139ff..a314a7e3 100644
--- a/extras/CompileOptions.cmake
+++ b/extras/CompileOptions.cmake
@@ -1,3 +1,7 @@
+if(NOT DEFINED COVERAGE)
+	set(COVERAGE OFF)
+endif()
+
 if(CMAKE_CXX_COMPILER_ID MATCHES "(GNU|Clang)")
 	add_compile_options(
 		-pedantic