Open jakobkroeker opened 10 years ago
if gmp is build and version in gmp/Makefile.in changes, this seems not detected by 'make'. (would make reconfigure do the job?)
if gmp is build and version in gmp/Makefile.in changes, this seems not detected by 'make'. (would make reconfigure do the job?)