diff options
| author | Luboš Luňák <l.lunak@collabora.com> | 2020-02-01 11:00:54 +0100 |
|---|---|---|
| committer | Luboš Luňák <l.lunak@collabora.com> | 2020-02-01 20:12:21 +0100 |
| commit | 69e0d871ec1de2260f9213d3113464155eac173c (patch) | |
| tree | 8e2d70bcd7eaef2c0dec275dd89050bf499e17b9 /configmgr | |
| parent | 961f7e8ec8ef188c361b2b20b60b95e78ecccd33 (diff) | |
make update_pch also consider files in <module>/src/**/inc
With --enable-pch=full there's not much difference between a "public"
header in <module>/inc and a private one in <module>/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 <l.lunak@collabora.com>
Diffstat (limited to 'configmgr')
| -rw-r--r-- | configmgr/inc/pch/precompiled_configmgr.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
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 <cassert> #include <cstddef> +#include <limits> #include <new> #include <ostream> #include <set> |