"make clean" doesn't destroy gen-* executables

[Myria]

"make clean" doesn't seem to delete the gen-* executables.  Even if you do
another ./configure, the old gen-* programs are used, causing build errors
in certain circumstances.

The following sequence of commands fails on an x86-64 Linux machine with GMP
4.2.1 for that reason:

export "ABI=64"
export "CFLAGS=-m64 -O3 -march=athlon64"
export "CXXFLAGS=-m64 -O3 -march=athlon64"
export "LDFLAGS=-m64"
./configure --host=x86_64-linux-gnu --enable-cxx --with-gnu-ld
make
make check
sudo make install
export "ABI=32"
export "CFLAGS=-m32 -O3 -march=athlon64"
export "CXXFLAGS=-m32 -O3 -march=athlon64"
export "LDFLAGS=-m32 -L/usr/lib32"
./configure --host=i686-linux-gnu --prefix=/usr/local/i686-linux-gnu
--enable-cxx --with-gnu-ld
make

The error is a compile-time assertion in fib_table.h.

GMP 4.1.4 compiled for me with these commands.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://gmplib.org/list-archives/gmp-bugs/attachments/20061218/df0ace90/attachment.html