diff options
author | Roland McGrath <roland@gnu.org> | 1996-04-25 07:13:49 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1996-04-25 07:13:49 +0000 |
commit | b98230bc8396ca23f40e450c01662c45c8174594 (patch) | |
tree | 12bc83f20087d822da426df0672d455422bf2aa2 | |
parent | e2389ec8e3edad2ecdffc1cf20d88e0a3a7f8f5f (diff) |
Use -include for generated dep files.
-rw-r--r-- | Makeconf | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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 |