[EMAIL PROTECTED] wrote:
>  That's strange. Could you send the output of your configure command ?
> rm config.cache ; ./configure --...

I am sorry!
I removed config.cache, ran configure again and now it all worked
perfectly. 
Maybe the problem was that I ran configure several times with different
options
without deleting the config.cache file.

Please remove the bug report. (blushing....)

Ciao, mentos

--
Mentos Hoffmann, Roonstr.17, D-76137 Karlsruhe, Germany
email: [EMAIL PROTECTED]

------------------------------------
To unsubscribe from the htdig3-dev mailing list, send a message to
[EMAIL PROTECTED] 
You will receive a message to confirm this. 

Reply via email to