From 283dfe52b8eed5185f63ee7579b624e2b4750b73 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Mon, 27 Feb 2023 21:13:19 +0100
Subject: [PATCH] chore: Always add -Wdouble-promotion to dev mode flags

Clang 3.4 is not longer supported anyway.
---
 cmake/DevModeWarnings.cmake | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/cmake/DevModeWarnings.cmake b/cmake/DevModeWarnings.cmake
index f5f8e2a52..1ada85f54 100644
--- a/cmake/DevModeWarnings.cmake
+++ b/cmake/DevModeWarnings.cmake
@@ -35,6 +35,7 @@ endmacro()
 set(
   _clang_gcc_warnings
   -Wcast-align
+  -Wdouble-promotion
   -Wextra
   -Wnon-virtual-dtor
   -Wnull-dereference
@@ -50,9 +51,6 @@ set(
   # -Wformat=2
 )
 
-# Tested separately as this is not supported by Clang 3.4.
-add_compile_flag_if_supported(_clang_gcc_warnings "-Wdouble-promotion")
-
 if(WARNINGS_AS_ERRORS)
   list(APPEND _clang_gcc_warnings -Werror)
 endif()
-- 
2.47.2