diff options
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 |