Re: Some error info from configure.bat please

[Eli Zaretskii]

> 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.

> BTW, is "make info" necessary any more after "make" or "make bootstrap"?

It still is.  That's a nuisance, IMHO, and removing the need for a
separate command is on my list of things to do.

Jason, do you know of any reason why "make info" is not run
automatically by "make" on Windows?