Fix 1 missing dependency in Makefile.in

2019-07-25 Thread Vemake Vemake
Hi, I've fixed 1 missing dependency reported. This issue can cause incorrect results when gmp is incrementally built. Detailed speaking, any changes in the target "libtool" will not cause "dummy.lo" to be rebuilt, which is incorrect. I've tested it on my computer, the fixed version worked as

Re: Fix 1 missing dependency in Makefile.in

2019-07-25 Thread Torbjörn Granlund
Vemake Vemake writes: Hi, I've fixed 1 missing dependency reported. This issue can cause incorrect results when gmp is incrementally built. Detailed speaking, any changes in the target "libtool" will not cause "dummy.lo" to be rebuilt, which is incorrect. I've tested it on my computer,