diff options
author | Luboš Luňák <l.lunak@collabora.com> | 2019-05-09 13:45:33 +0200 |
---|---|---|
committer | Luboš Luňák <l.lunak@collabora.com> | 2019-05-11 19:19:26 +0200 |
commit | d6a43b40736fef259402177cb50e6d1428112cfc (patch) | |
tree | fceddf497c29be91f357710ed7b95d2d7f4ccd38 /emfio | |
parent | caa6de6c97b0c2fc82c6a2699a1e84b9d2eb9dbd (diff) |
disable ccache for PCH generation
Ccache can't handle it well with -gsplit-dwarf, and it's a question
if it even makes sense to spend cache space on large PCHs.
https://github.com/ccache/ccache/issues/419
Change-Id: I9a458c1793fcd503f7d29ea76c6e7651ab378783
Reviewed-on: https://gerrit.libreoffice.org/72041
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Tested-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'emfio')
0 files changed, 0 insertions, 0 deletions