On 2012-10-29 20:02, Jonathan Gibbons wrote: > I would think that developers working in the jdk/ directory would also > like a --with-top-level option. Yeah. I was thinking like, we should to the same for all repos. Currently, the makefiles/Makefile is the same file for all (or "all") repos. /Magnus