[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What's the deal with the module system?
From: |
David Kastrup |
Subject: |
Re: What's the deal with the module system? |
Date: |
Wed, 25 Nov 2009 12:08:28 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.1.50 (gnu/linux) |
John Mandereau <address@hidden> writes:
> Le mercredi 25 novembre 2009 à 11:41 +0100, David Kastrup a écrit :
[...]
>> Or any configure or error messages or error catching that will give a
>> useful information linking this failure of the test suite with the
>> Texi2HTML version?
[...]
> Your suggestions are perfectly right. However, we plan to replace
> current build system, so we're not going to refine configure checks.
> If you call "make help", you'll see that "make doc-stage-1" does
> compile documentation in all formats but HTML.
I am talking about "make test" here. I think that catching this error
and producing "
Texi2HTML call failed, maybe because of a mismatch in required
versions. If you don't need HTML, try the makefile target doc-stage-1
if make doc failed for you, and try test-nodoc if make test failed for
you" will save unsuspecting users hours each and will cost one developer
half an hour to implement.
You don't even need to trap this error in high language, but can just do
this as part of bailing out for non-zero exit codes in the Makefile.
--
David Kastrup
- Re: What's the deal with the module system?, (continued)
- Re: What's the deal with the module system?, David Kastrup, 2009/11/24
- Re: What's the deal with the module system?, David Kastrup, 2009/11/24
- Re: What's the deal with the module system?, Neil Puttock, 2009/11/24
- Re: What's the deal with the module system?, David Kastrup, 2009/11/25
- Re: What's the deal with the module system?, David Kastrup, 2009/11/25
- Re: What's the deal with the module system?, Reinhold Kainhofer, 2009/11/25
- Re: What's the deal with the module system?, David Kastrup, 2009/11/25
- Re: What's the deal with the module system?, John Mandereau, 2009/11/25
- Re: What's the deal with the module system?, David Kastrup, 2009/11/25
- Re: What's the deal with the module system?, John Mandereau, 2009/11/25
- Re: What's the deal with the module system?,
David Kastrup <=
- Re: What's the deal with the module system?, Graham Percival, 2009/11/25
- Re: What's the deal with the module system?, David Kastrup, 2009/11/25
- Re: What's the deal with the module system?, Graham Percival, 2009/11/25
- Re: What's the deal with the module system?, David Kastrup, 2009/11/25
- Re: What's the deal with the module system?, Francisco Vila, 2009/11/25
- Re: What's the deal with the module system?, Jan Nieuwenhuizen, 2009/11/25
- Re: What's the deal with the module system?, Francisco Vila, 2009/11/25
- Re: What's the deal with the module system?, Francisco Vila, 2009/11/25
- Re: What's the deal with the module system?, Han-Wen Nienhuys, 2009/11/25
- Re: What's the deal with the module system?, Neil Puttock, 2009/11/25