make ignoring changes to source-files

Hi List, Well the subject says it all. "Sometimes"[0] make[1] misses that the (c-)sources it should compile have been changed. Quiet a niusance. Has anybody come across that, too? Cheers Michael [0] Unfortunately this behaviour is not reproducable. 8-( [1] make 3.80, gcc 4.02, SuSE 10