diff options
Diffstat (limited to 'Build/source/texk/gsftopk/Makefile.am')
-rw-r--r-- | Build/source/texk/gsftopk/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Build/source/texk/gsftopk/Makefile.am b/Build/source/texk/gsftopk/Makefile.am index 46e30a1494b..aef422bca7f 100644 --- a/Build/source/texk/gsftopk/Makefile.am +++ b/Build/source/texk/gsftopk/Makefile.am @@ -15,7 +15,13 @@ gsftopk_SOURCES = \ gsftopk.c \ version.h -gsftopk_DEPENDENCIES = $(KPATHSEA_DEPEND) +$(gsftopk_OBJECTS): config.force + +config.force: $(KPATHSEA_DEPEND) + echo timestamp >config.force + $(SHELL) ./config.status --recheck + +DISTCLEANFILES = config.force LDADD = $(KPATHSEA_LIBS) |