diff options
| -rw-r--r-- | Makefile.common | 2 | ||||
| -rw-r--r-- | tools/module.mk | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index 72fe3c7510..7f6c3c4082 100644 --- a/Makefile.common +++ b/Makefile.common @@ -134,6 +134,8 @@ endif # Include the dependency tracking files. -include $(wildcard $(addsuffix /*.d,$(DEPDIRS))) +.PHONY: $(wildcard $(addsuffix /*.d,$(DEPDIRS))) $(addprefix $(srcdir)/, $(addsuffix /module.mk,$(MODULES))) \ + $(srcdir)/$(port_mk) $(srcdir)/rules.mk $(srcdir)/engines/engines.mk ###################################################################### # Get the current version information diff --git a/tools/module.mk b/tools/module.mk index 4c1ea57da6..bf246ad0d6 100644 --- a/tools/module.mk +++ b/tools/module.mk @@ -18,6 +18,8 @@ TOOLS := \ include $(srcdir)/tools/*/module.mk +.PHONY: $(srcdir)/tools/*/module.mk + # Make sure the 'all' / 'clean' targets build/clean the tools, too #all: clean: clean-tools |