| 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:
|
|
|