From: Jim Meyering Date: Sat, 13 Dec 1997 22:55:52 +0000 (+0000) Subject: . X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b80abb2ecaff1d443f03077e9763176fc91c6d2;p=pspp . --- diff --git a/lib/Makefile.in b/lib/Makefile.in index 50c682e62e..628a305324 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -338,6 +338,7 @@ distdir: $(DISTFILES) MKDEP = $(CC) -M $(DEFS) $(INCLUDES) $(CPPFLAGS) $(CFLAGS) DEPS_MAGIC := $(shell mkdir .deps > /dev/null 2>&1 || :) + -include $(DEP_FILES) -include .deps/.P .deps/.P: $(BUILT_SOURCES)