diff options
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r-- | Build/source/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in index b0d77137964..ee24628d0b8 100644 --- a/Build/source/Makefile.in +++ b/Build/source/Makefile.in @@ -314,7 +314,7 @@ DIST_ARCHIVES = $(distdir).tar.xz DIST_TARGETS = dist-xz am__distuninstallcheck_listfiles = $(distuninstallcheck_listfiles) \ | sed 's|^\./|$(prefix)/|' | grep -v '$(infodir)/dir$$' -ACLOCAL = @ACLOCAL@ +ACLOCAL = @ACLOCAL@ --force AMTAR = @AMTAR@ AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@ AR = @AR@ |