This is a suggestion for a trivial addition to what goes in configure.log
(that is, if it's not already available elsewhere). One feature that I've
found very handy in the otherwise unpleasant use of gnu configure is the
ability to cut and paste the options given to configure from the
On Tue, 19 Apr 2005, Boyana Norris wrote:
This is a suggestion for a trivial addition to what goes in configure.log
(that is, if it's not already available elsewhere). One feature that I've
found very handy in the otherwise unpleasant use of gnu configure is the
ability to cut and paste the
Satish,
Thanks, this is sufficient for most cases (the only exception I can think of
is when configure crashed or was interrupted before this file was created,
which has happened to me a few times).
Boyana
Satish Balay wrote:
On Tue, 19 Apr 2005, Boyana Norris wrote:
This is a suggestion
On Tue, 19 Apr 2005, Boyana Norris wrote:
Satish,
Thanks, this is sufficient for most cases (the only exception I can think of
is when configure crashed or was interrupted before this file was created,
which has happened to me a few times).
If thats the case - you have shell command
