On Monday 16 December 2002 18:59, Phil Edwards wrote: <snip> > This is why the instructions say to use 'make -k check'. DejaGNU > incorrectly kill the make chain by passing back an error status, which > means that any subsequent targets in the makefile are not done. I check the log fies from the build '-k' was used. --George