Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-02-21 15:23:57 -04:00
Code Issues Packages Projects Releases Wiki Activity

Tools: waf: add -Werror=delete-non-virtual-dtor

Browse Source
This commit is contained in:
Peter Barker 2019-06-19 09:31:16 +10:00 committed by Peter Barker
parent fa78987046
commit c4311b4af6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Tools/ardupilotwaf/boards.py
View File

@ -123,6 +123,7 @@ class Board:
'-Werror=overflow',
'-Werror=parentheses',
'-Werror=format-extra-args',
'-Werror=delete-non-virtual-dtor',
]
if cfg.options.scripting_checks: