>>>>> "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
>>>>> "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