summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorLuboš Luňák <l.lunak@collabora.com>2019-09-22 12:13:42 +0200
committerLuboš Luňák <l.lunak@collabora.com>2019-10-04 08:58:52 +0200
commit08d02b550a1aee0e109334384c260244d450d6a0 (patch)
tree8e38df99a4a1163a6f294381925e11a233662889 /bin
parentfd90ad734a931ddfdff4df9bfcf10f12a87b0286 (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-xbin/update_pch.sh6
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