On Sun, Mar 23, 2008 at 11:09:04PM +0000, Havard Eidnes wrote: > Log Message: > The sig_atomic_t type isn't necessarily compatible with %d printf format; > cast to int before printing. It might be larger than int as well, so I guess the correct fix is intmax_t and %jd... Joerg