Subject: bug#13872: 24.3-rc1; TERM_HEADER multiply defined during 'configure'

From: Paul Eggert <[email-masked]>
Date: Tue, 05 Mar 2013 06:56:03 -0800

On 03/05/2013 05:40 AM, Ken Brown wrote:
> Are you sure there are no tests between the two definitions of TERM_HEADER
> for which the latter should be defined?

Yes, because no test uses TERM_HEADER:

$ grep TERM_HEADER configure
#define TERM_HEADER "${term_header}"
#define TERM_HEADER "${term_header}"