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 /framework/dtd/menubar.dtd | |
| 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 'framework/dtd/menubar.dtd')
0 files changed, 0 insertions, 0 deletions