[issue906] merge from default

aibasel · Mar 21, 2019 · 96f0018 · 96f0018
2 parents efc9815 + 6ebf9d6
commit 96f0018
Show file tree

Hide file tree

Showing 54 changed files with 1,301 additions and 384 deletions.
diff --git a/bitbucket-pipelines.yml b/bitbucket-pipelines.yml
@@ -44,5 +44,6 @@ pipelines:
             - rm -rf VAL
 
             - export PATH="$(pwd):$PATH"  # Add uncrustify and VAL to PATH.
+            - export CXXFLAGS="-Werror"  # Treat compilation warnings as errors.
 
             - ./misc/run-all-tests