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

Torbjorn Granlund tg-this-will-bounce-but-I-am-subscribed-to-the-list-honest at swox.com
Tue Dec 19 12:24:25 CET 2006

Myria <myriachan at gmail.com> writes:

  "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.
Please use "make distclean".


More information about the gmp-bugs mailing list