Re: print configure options at startup

Robert Collins wrote:

> Oh! Got lost in my mailbox somehow.
>
> Capturing --prefix and so forth is good, but I was thinking that we
> wouldn't want things like the helpers to be built, as they are not
> guaranteed to be installed.

It does not hurt to have the list of helpers there.. the likelyhood that
the helper is installed if it is listed is quite large. And the benefit
of having all the paths seriously outweighs any drawback from having
helpers listed that may have been deleted/not installed..

--
Henrik