diff options
author | Luboš Luňák <l.lunak@collabora.com> | 2019-09-22 12:13:42 +0200 |
---|---|---|
committer | Luboš Luňák <l.lunak@collabora.com> | 2019-10-04 08:58:52 +0200 |
commit | 08d02b550a1aee0e109334384c260244d450d6a0 (patch) | |
tree | 8e38df99a4a1163a6f294381925e11a233662889 /bin | |
parent | fd90ad734a931ddfdff4df9bfcf10f12a87b0286 (diff) |
add "system" PCH that contains often used system headers such as STL
The idea is that this PCH will be used as a fallback for linktargets
that do not explicitly set their own PCH.
Change-Id: If05d3f04893a386e5d991f913e094f49249c8f44
Reviewed-on: https://gerrit.libreoffice.org/79363
Tested-by: Jenkins
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/update_pch.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/update_pch.sh b/bin/update_pch.sh index 2b2df6dc3b46..bc7742ea952e 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -42,8 +42,12 @@ for x in $headers; do fi else header=$x - echo updating `echo $header | sed -e s%$root/%%` + local update_msg=`echo $header | sed -e s%$root/%%` module=`readlink -f $header | sed -e s%$root/%% -e s%/.*%%` + if [ "$module" = "pch" ]; then + continue # PCH's in pch/inc/pch/ are handled manually + fi + echo updating $update_msg if [ "$module" = "external" ]; then module=external/`readlink -f $header | sed -e s%$root/external/%% -e s%/.*%%` fi |