From 3235a0692c03c11d2724dc6bf223281372fcabf6 Mon Sep 17 00:00:00 2001
From: Rhys Mainwaring <rhys.mainwaring@me.com>
Date: Sun, 8 Dec 2024 12:18:47 +0000
Subject: [PATCH] Tools: ardupilotwaf: esp32 does not have hardware double

Signed-off-by: Rhys Mainwaring <rhys.mainwaring@me.com>
---
 Tools/ardupilotwaf/boards.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Tools/ardupilotwaf/boards.py b/Tools/ardupilotwaf/boards.py
index ce12ae6908..89b1a96497 100644
--- a/Tools/ardupilotwaf/boards.py
+++ b/Tools/ardupilotwaf/boards.py
@@ -1018,7 +1018,6 @@ class esp32(Board):
         # this makes sure we get the correct subtype
         env.DEFINES.update(
             CONFIG_HAL_BOARD_SUBTYPE = 'HAL_BOARD_SUBTYPE_ESP32_%s' %  tt.upper() ,
-            HAL_HAVE_HARDWARE_DOUBLE = '1',
         )
 
         if self.name.endswith("empty"):