Re: Some error info from configure.bat please

[Eli Zaretskii]

> Date: Sat, 02 Jul 2005 19:36:52 +0200
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden
> 
> > Date: Sat, 02 Jul 2005 18:01:18 +0200
> > From: Lennart Borgman <address@hidden>
> > CC: address@hidden
> > 
> > >If that output is not enough, we could add some more text to what is
> > >written to config.log, and you could then look for it with findstr or
> > >some such.  For example, if all you care for is whether configure.bat
> > >succeeded, we could have configure.bat echo something like "configure
> > >FAILED" to the end of config.log.
> > >  
> > Would be fine.
> 
> Okay, I will add that soon.

It turned out it was easier to add a line that indicates a successful
configure step, so I did that.