Re: Adding EXEEXT to EXTRA_PROGRAMS

[Tom Tromey]

Kevin> I think it's enough to move the test for EXTRA to after the bit
Kevin> that adds $(EXEEXT), per below.  It does the right thing for me
Kevin> on some gnu-ish makefiles.

Thanks.  I checked this in.  I think the old behavior must have been
an oversight.  It is the sort of oddity I would have commented if it
had been intentional.

Tom