PulkoMandy <pulkomandy@xxxxxxxxx> wrote: > > Does src/tools/checkstyle/ sound good? > shouldn't it be part of the buildtools/ tree instead ? I think tools/checkstyle would be fine - there are several tools that are used at build time, already. Bye, Axel.