Index: Tools/Scripts/webkitpy/style/checkers/cpp.py |
diff --git a/Tools/Scripts/webkitpy/style/checkers/cpp.py b/Tools/Scripts/webkitpy/style/checkers/cpp.py |
index bac6adce8d3850446e65e5cb1d9007ff559b3849..6343113dc91cea7d91fb66be2fab87dd683f1eb6 100644 |
--- a/Tools/Scripts/webkitpy/style/checkers/cpp.py |
+++ b/Tools/Scripts/webkitpy/style/checkers/cpp.py |
@@ -3156,6 +3156,11 @@ |
error_message = include_state.check_next_include_order(header_type, |
file_extension == "h", |
primary_header_exists) |
+ |
+ # Normally including a _CONFIG_HEADER in another header file would be an error |
+ # but not when included in a precompile header since that one will need it. |
+ if error_message and "config.h" in error_message and "precompile" in filename.lower(): |
+ error_message = None |
# Check to make sure we have a blank line after primary header. |
if not error_message and header_type == _PRIMARY_HEADER: |