On 12/07/11 13:50, Eric Blake wrote: > unless others can speak up with more reasons why we must cater to older find.
How about if we do this instead?
find "$local_gl_dir" -name '*.diff' -exec false {} + -exec false ';'
This works fine with both old and new 'find' and means the same
thing either way (though it's faster with new 'find'). It's
a bit of a hack, but it's simple and solves the portability
problem better than grep does.
