>>>>> "José" == José Matos <[EMAIL PROTECTED]> writes:

José> 3) assuming that configure fails (for some reason irrelevant to
José> this argument) make -k just calls configure endlessly. :-)

Then do not use make -k :)

JMarc

Reply via email to