From c4311b4af6ac712fa059a17e688d54dbeb70a984 Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Wed, 19 Jun 2019 09:31:16 +1000
Subject: [PATCH] Tools: waf: add -Werror=delete-non-virtual-dtor

---
 Tools/ardupilotwaf/boards.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Tools/ardupilotwaf/boards.py b/Tools/ardupilotwaf/boards.py
index 759f2a1318..43548ec8f2 100644
--- a/Tools/ardupilotwaf/boards.py
+++ b/Tools/ardupilotwaf/boards.py
@@ -123,6 +123,7 @@ class Board:
             '-Werror=overflow',
             '-Werror=parentheses',
             '-Werror=format-extra-args',
+            '-Werror=delete-non-virtual-dtor',
         ]
 
         if cfg.options.scripting_checks: