diff options
Diffstat (limited to 'bin/update_pch.sh')
-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/%%` |