diff options
Diffstat (limited to 'Build/source/libs/mpfr/Makefile.in')
-rw-r--r-- | Build/source/libs/mpfr/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/libs/mpfr/Makefile.in b/Build/source/libs/mpfr/Makefile.in index 9aa6143e2ec..36eafc36f7e 100644 --- a/Build/source/libs/mpfr/Makefile.in +++ b/Build/source/libs/mpfr/Makefile.in @@ -1911,6 +1911,7 @@ uninstall-am: dist-hook: cd "$(distdir)" && rm -rf $(NEVER_DIST) $(libmpfr_a_OBJECTS): $(GMP_DEPEND) +mpfr.log: mpfrtest$(EXEEXT) @GMP_RULE@ config.force: $(reconfig_prereq) |