On Tue, May 07, 2002 at 10:16:58, Bill Michell said:
> You need to wipe out configure's cache files. Can't remember the exact 
> command for this though, and I'm not at the machine so can't easily find 
> out.

rm config.cache

That always does the trick for me.

Keith

-- 
   Keith T. Garner                                        [EMAIL PROTECTED]
   The whole problem with the world is that fools and fanatics are always so
 certain of themselves, and wiser people so full of doubts.  --Bertrand Russell

_______________________________________________________________

Have big pipes? SourceForge.net is looking for download mirrors. We supply
the hardware. You get the recognition. Email Us: [EMAIL PROTECTED]
_______________________________________________
courier-users mailing list
[EMAIL PROTECTED]
Unsubscribe: https://lists.sourceforge.net/lists/listinfo/courier-users

Reply via email to