diff options
| author | Luboš Luňák <l.lunak@collabora.com> | 2019-05-18 10:34:30 +0200 |
|---|---|---|
| committer | Luboš Luňák <l.lunak@collabora.com> | 2019-05-19 09:47:42 +0200 |
| commit | 4812fe5af6caf4b49c09e986ef741693a24ca174 (patch) | |
| tree | c22a2ebd2ddec888b3fbfa67f7a1609d0a647e0d /bin | |
| parent | 34ebd0af8152549c88b0b1fc2e02740de7ffcb77 (diff) | |
do not run update_pch.sh on all if it can't find PCH in the given dir
Change-Id: I9f86a6268c98a010585bd666e1ede66869c5d7ea
Reviewed-on: https://gerrit.libreoffice.org/72523
Tested-by: Jenkins
Reviewed-by: Luboš Luňák <l.lunak@collabora.com>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/update_pch.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/update_pch.sh b/bin/update_pch.sh index 6ea8eb664cf0..2b2df6dc3b46 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -37,7 +37,9 @@ for x in $headers; do if [ -d "$x" ]; then # We got a directory, find pch files to update. headers=`find $root/$x/ -type f -iname "precompiled_*.hxx"` - $0 "$headers" + if test -n "$headers"; then + $0 "$headers" + fi else header=$x echo updating `echo $header | sed -e s%$root/%%` |