summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1996-04-25 07:13:49 +0000
committerRoland McGrath <roland@gnu.org>1996-04-25 07:13:49 +0000
commitb98230bc8396ca23f40e450c01662c45c8174594 (patch)
tree12bc83f20087d822da426df0672d455422bf2aa2
parente2389ec8e3edad2ecdffc1cf20d88e0a3a7f8f5f (diff)
Use -include for generated dep files.
-rw-r--r--Makeconf10
1 files changed, 5 insertions, 5 deletions
diff --git a/Makeconf b/Makeconf
index d4dc12d3..3c1d3270 100644
--- a/Makeconf
+++ b/Makeconf
@@ -281,13 +281,13 @@ ifneq ($(no_deps),t)
# For each file generated by MiG we need a .d file.
# These lines assume that every Makefile that uses a foo_S.h or foo_U.h file
# also mentions the associated fooServer.o or fooUser.o file.
-include $(subst Server.o,.migs_d,$(filter %Server.o,$(OBJS))) /dev/null
-include $(subst User.o,.migu_d,$(filter %User.o,$(OBJS))) /dev/null
-include $(subst Server.o,.migsh_d,$(filter %Server.o,$(OBJS))) /dev/null
-include $(subst User.o,.miguh_d,$(filter %User.o,$(OBJS))) /dev/null
+-include $(subst Server.o,.migs_d,$(filter %Server.o,$(OBJS))) /dev/null
+-include $(subst User.o,.migu_d,$(filter %User.o,$(OBJS))) /dev/null
+-include $(subst Server.o,.migsh_d,$(filter %Server.o,$(OBJS))) /dev/null
+-include $(subst User.o,.miguh_d,$(filter %User.o,$(OBJS))) /dev/null
# For each .o file we need a .d file.
-include $(subst .o,.d,$(filter %.o,$(OBJS))) /dev/null
+-include $(subst .o,.d,$(filter %.o,$(OBJS))) /dev/null
endif