From 0be4c80224b061f1d3c425513933ae82893be48c Mon Sep 17 00:00:00 2001 From: Neil Fraser Date: Tue, 13 Mar 2018 18:24:37 -0700 Subject: [PATCH] Add warning_level directives to build. No functional change, but shows where this setting can be altered. --- build.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/build.py b/build.py index 4d51de14e..98d105c92 100755 --- a/build.py +++ b/build.py @@ -223,6 +223,7 @@ class Gen_compressed(threading.Thread): ("output_info", "warnings"), ("output_info", "errors"), ("output_info", "statistics"), + ("warning_level", "DEFAULT"), ] # Read in all the source files. @@ -251,6 +252,7 @@ class Gen_compressed(threading.Thread): ("output_info", "warnings"), ("output_info", "errors"), ("output_info", "statistics"), + ("warning_level", "DEFAULT"), ] # Read in all the source files. @@ -277,6 +279,7 @@ class Gen_compressed(threading.Thread): ("output_info", "warnings"), ("output_info", "errors"), ("output_info", "statistics"), + ("warning_level", "DEFAULT"), ] # Read in all the source files. @@ -303,6 +306,7 @@ class Gen_compressed(threading.Thread): ("output_info", "warnings"), ("output_info", "errors"), ("output_info", "statistics"), + ("warning_level", "DEFAULT"), ] # Read in all the source files.