diff --git a/libraries/AP_NavEKF/AP_NavEKF_core_common.h b/libraries/AP_NavEKF/AP_NavEKF_core_common.h
index 7b676e34d69..dc958705b58 100644
--- a/libraries/AP_NavEKF/AP_NavEKF_core_common.h
+++ b/libraries/AP_NavEKF/AP_NavEKF_core_common.h
@@ -54,7 +54,7 @@ protected:
     }
 };
 
-#if HAL_WITH_EKF_DOUBLE && !defined(__clang__)
+#if HAL_WITH_EKF_DOUBLE && CONFIG_HAL_BOARD == HAL_BOARD_CHIBIOS
 // stack frames are larger with double EKF
 #if MATH_CHECK_INDEXES
 #pragma GCC diagnostic error "-Wframe-larger-than=4000"