done
findargs="$subdirs"
if [ "$check_overlay" ]; then
- findargs="$findargs -mindepth 1 ( -type d ! ( $check_overlay ) -prune ) ,"
+ findargs="$findargs -mindepth 1 ( -type d ! ( $check_overlay ) -prune -false ) -o "
fi
headers=`find $findargs -name '*.h'`