Hi list, right now the tinderbox seems to use a plain call to "make" to verify that the build works. Wouldn't it make sense to use "make distcheck" instead? Regards, Christoph