commit 1b640fd0929a74af4982c3e8ac4f4def83e6b281
author Davide Pesavento <davidepesa@gmail.com> Wed Jan 04 21:00:05 2023 -0500
committer Davide Pesavento <davidepesa@gmail.com> Thu Jan 05 04:02:02 2023 -0500
tree 333a8c43d886b98f1765c8fa92b59f63d83b5cb3
parent fcef058206559c267e8f831e8cc17362c7ccfd46

docs: improve formatting and document structure

Change-Id: I530d58f2700eb264855843021db32f568d373a1d

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

diff --git a/.waf-tools/default-compiler-flags.py b/.waf-tools/default-compiler-flags.py
index 4debb4e..3a7bf66 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',