commit 81de5d98e92c30dfb7827f8143080b379dc2a51d
author Davide Pesavento <davidepesa@gmail.com> Fri Dec 30 01:08:05 2022 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sat Dec 31 01:50:11 2022 -0500
tree 71b75da906a6214c7b45be7e537b535e3dbc269b
parent 15fa994bf663a1a4ff8b292bfb64fb07114b5a1f

Prepare release 0.8.1

Refs: #5250
Change-Id: I99931c1300cd752554aea764e9688d027b5de29e

.waf-tools/default-compiler-flags.py

diff --git a/.waf-tools/default-compiler-flags.py b/.waf-tools/default-compiler-flags.py
index 536e3d3..f159fde 100644
--- a/.waf-tools/default-compiler-flags.py
+++ b/.waf-tools/default-compiler-flags.py
@@ -145,9 +145,9 @@
         flags = super(GccBasicFlags, self).getDebugFlags(conf)
         flags['CXXFLAGS'] += ['-Og',
                               '-g3',
-                              '-pedantic',
                               '-Wall',
                               '-Wextra',
+                              '-Wpedantic',
                               '-Werror',
                               '-Wcatch-value=2',
                               '-Wextra-semi',
@@ -163,9 +163,9 @@
         flags = super(GccBasicFlags, self).getOptimizedFlags(conf)
         flags['CXXFLAGS'] += ['-O2',
                               '-g',
-                              '-pedantic',
                               '-Wall',
                               '-Wextra',
+                              '-Wpedantic',
                               '-Wcatch-value=2',
                               '-Wextra-semi',
                               '-Wnon-virtual-dtor',