From c26f5c832bd8a7d1a5f4aa5b658c79aae5168704 Mon Sep 17 00:00:00 2001 From: Philipp Takacs Date: Sun, 14 Aug 2016 17:31:50 +0200 Subject: [PATCH 1/1] touch the DISTINCLUDE in mmhdist target This avoids rebuilding this files. So autoconf and flex is not need for a normal user. --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index 7ec7673..f93359d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -177,6 +177,7 @@ mmhdist: $(DISTINCLUDE) distname @chmod 755 $(distdir) @for file in $(DISTINCLUDE); do \ cp -p $(srcdir)/$$file $(distdir)/$$file; \ + touch $(distdir)/$$file; \ done @for file in $(DISTEXCLUDE); do \ rm -rf $(distdir)/$$file; \ -- 1.7.10.4