diff options
Diffstat (limited to 'bin/update_pch.sh')
| -rwxr-xr-x | bin/update_pch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/update_pch.sh b/bin/update_pch.sh index bc7742ea952e..5299242b9d7c 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -42,7 +42,7 @@ for x in $headers; do fi else header=$x - local update_msg=`echo $header | sed -e s%$root/%%` + 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 |