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