building failure in binfilter

[Norbert Thiebaud]

On Tue, Nov 6, 2012 at 4:33 AM, Jean-Baptiste Faure
<jbf.faure at sud-ouest.org> wrote:
>>
>> For me, what works well is "git pull [-r] && git submodule update".
>
> Indeed it works better with the right command. :-)
>

FYI

./g pull -r

nowadays does just that.. git pul + git submodule update)

but yes, I think it is better to do it explicitly, I weaked ./g for
the benefit of the tinderbox mostly
I think with recent git version it is possible to make that a config
of git, so that the submodule update occurs automatically after git
pull...

Norbert