Dear Tom Rini, [...] > > > make --version ? > > > > GNU Make 3.81 > > OK, found it, posting a patch now. What exactly did you find? I don't see this problem with make 3.81 . Best regards, Marek Vasut