On 2009-10-29 at 23:33:42 [+0800], Axel Dörfler <axeld@xxxxxxxxxxxxxxxx> wrote: > 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. Actually src/tools is the place for build tools. I've considered moving it to src/build/tools for a while, but have been too lazy. :-) CU, Ingo