building failure in binfilter

[Stephan Bergmann]

On 11/06/2012 11:02 AM, Jean-Baptiste Faure wrote:
> What should I do to update my local copy of binfilter? Is "git pull -r" not
> enough ?

For me, what works well is "git pull [-r] && git submodule update".

Stephan