On Tue, Nov 16, 2010 at 10:34:41AM +0100, Giuseppe Castagno wrote: > Hi all, > > per subject, with a pull -r from this morning (CET), compiling sw with: > build -P2 debug=true > Try pull again; commit f19fb8630f6dbf4b525bdd4ba775f05bb9d7e1a0 should fix this. D.