On Tue, 2015-12-08 at 23:12 +0000, Emil Velikov wrote: > Afaict this should really be part of previous commit. Since that's the > place where we remove the static library. D'oh, right you are. I did verify that the series built at every step, but only with 'make' and not with a 'make clean' in between, so this wouldn't have been caught. - ajax