On Wed, Apr 21, 2010 at 3:13 PM, Christopher Key <cjk32 at cam.ac.uk> wrote: > Setting ARCH, UNAME_m and UNAME_n [..] did the trick. I wonder if tinderbox should instead be setting these values automatically [..] Ask/request it on the Tinderbox mailing list :) :g