[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Some error info from configure.bat please

From: Eli Zaretskii
Subject: Re: Some error info from configure.bat please
Date: Sat, 02 Jul 2005 19:36:52 +0200

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]