diff options
author | Luboš Luňák <l.lunak@collabora.com> | 2019-05-18 14:03:24 +0200 |
---|---|---|
committer | Luboš Luňák <l.lunak@collabora.com> | 2019-05-19 09:47:20 +0200 |
commit | 74790206e182031bcf01c628622e2b646f699530 (patch) | |
tree | cc18e125dfb187710fa22d39214d5d46e4c2cd18 /bin/update_pch.sh | |
parent | 8265e36cdcaa475282344c2e01bee5e323d0f0a0 (diff) |
make update_pch also work with libs in external/
Change-Id: I65b3461fd227e7e997b82a84631bbd5d00b28eb6
Reviewed-on: https://gerrit.libreoffice.org/72520
Tested-by: Jenkins
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'bin/update_pch.sh')
-rwxr-xr-x | bin/update_pch.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/update_pch.sh b/bin/update_pch.sh index c4a5f3d6d88a..6ea8eb664cf0 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -42,6 +42,9 @@ for x in $headers; do header=$x echo updating `echo $header | sed -e s%$root/%%` module=`readlink -f $header | sed -e s%$root/%% -e s%/.*%%` + if [ "$module" = "external" ]; then + module=external/`readlink -f $header | sed -e s%$root/external/%% -e s%/.*%%` + fi libname=`echo $header | sed -e s/.*precompiled_// -e s/\.hxx//` ./bin/update_pch "$module" "$libname" |