Hi Thomas,

> (Dominique, could you tell us again what the magic incantation for
> 32-bit mode is?)

I use:

time make -k -j8 check RUNTESTFLAGS="--target_board=unix'{-m32,-m64}'" > & 
check-*.log &

Dominique

Reply via email to