Re: Right way to cope with user error in make test?