> isn't xz extremely sloooow with -9? > maybe it wasn't a bug, bit intentionally not used, > as that huge extra amount of time doesn't result in > that many bytes saved.
Compared to the total time of make dist its IMHO acceptable. But configurability won't hurt of course. Pavel