From 69e0d871ec1de2260f9213d3113464155eac173c Mon Sep 17 00:00:00 2001 From: Luboš Luňák Date: Sat, 1 Feb 2020 11:00:54 +0100 Subject: make update_pch also consider files in /src/**/inc MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit With --enable-pch=full there's not much difference between a "public" header in /inc and a private one in /src/somewhere/inc . And since the script searches recursively, this apparently helps to find even more headers for lower pch levels. Change-Id: I8483d0aa5b4fea5a59107c20a8aa5f1ef694af0a Reviewed-on: https://gerrit.libreoffice.org/c/core/+/87799 Tested-by: Jenkins Reviewed-by: Luboš Luňák --- configmgr/inc/pch/precompiled_configmgr.hxx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'configmgr') diff --git a/configmgr/inc/pch/precompiled_configmgr.hxx b/configmgr/inc/pch/precompiled_configmgr.hxx index e2eafb99f656..13eff75127db 100644 --- a/configmgr/inc/pch/precompiled_configmgr.hxx +++ b/configmgr/inc/pch/precompiled_configmgr.hxx @@ -13,7 +13,7 @@ manual changes will be rewritten by the next run of update_pch.sh (which presumably also fixes all possible problems, so it's usually better to use it). - Generated on 2019-10-17 16:10:17 using: + Generated on 2020-02-01 10:57:25 using: ./bin/update_pch configmgr configmgr --cutoff=6 --exclude:system --include:module --include:local If after updating build fails, use the following command to locate conflicting headers: @@ -23,6 +23,7 @@ #if PCH_LEVEL >= 1 #include #include +#include #include #include #include -- cgit